Advertisement
logicmoo

Untitled

Mar 10th, 2016
267
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. ;; focal term
  2. Constant: Beagle.
  3.    
  4. ;; Next Items will places in Biology KB
  5. In KB: BiologyVocabularyKB.
  6.    
  7. ;; adds two assertions  (isa Beagle Class)  (isa Beagle OrganismClassificationType)  
  8. isa: OrganismClassificationType, Collection.
  9. Truth Value: :default.
  10.  
  11. ;; asserts (genls Beagle Dog) ;; means subclass
  12. genls: Dog.
  13.    
  14. ;; asserts (comment Beagle "a small short-legged smooth-coated breed of hound")
  15. comment: "a small short-legged smooth-coated breed of hound".
  16.    
  17. ;; Switches to a new focal term
  18. Constant: Snoopy.
  19.    
  20. In KB: HumanActivitiesKB.
  21.  
  22. isa: Beagle.
  23.  
  24. comment: "Comic strip beagle created by Charles Shultz".
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement