Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  MashupRecording

 Sigma KEE - Kennel
Kennel(kennel)dog_house, doghouse, kennel

appearance as argument number 1
-------------------------


(subclass Kennel TrapOrCage) Mid-level-ontology.kif 27651-27651 Kennel is a subclass of trap or cage
(documentation Kennel EnglishLanguage "Kennel is a TrapOrCage where a DomesticAnimal is Confining by its owner") Mid-level-ontology.kif 27652-27653 Kennel is a subclass of trap or cage

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Kennel "kennel") Mid-level-ontology.kif 27654-27654

antecedent
-------------------------


(=>
    (instance ?KENNEL Kennel)
    (hasPurpose ?KENNEL
        (exists (?ANIMAL ?CONFINING)
            (and
                (instance ?ANIMAL DomesticAnimal)
                (instance ?CONFINING Confining)
                (patient ?CONFINING ?ANIMAL)
                (eventLocated ?CONFINING ?KENNEL)))))		 Mid-level-ontology.kif 27656-27664 If X is an instance of kennel, then X has the purpose there exist Y, Z such that Y is an instance of domestic animal, Z is an instance of confining, Y is a patient of Z, and Z is located at X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners