Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kennel

Sigma KEE - Kennel
Kennel

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


(documentation Kennel EnglishLanguage "Kennel is a TrapOrCage where a DomesticAnimal is Confining by its owner") Mid-level-ontology.kif 23208-23209
(subclass Kennel TrapOrCage) Mid-level-ontology.kif 23207-23207

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


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

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 23212-23220


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners