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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TrapOrCage
TrapOrCage(陷阱或笼子)

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


(documentation TrapOrCage EnglishLanguage "A Device whose purpose is to trap or cage Animals, i.e. to be in instrument in an act of Confining.") Mid-level-ontology.kif 4643-4644
(externalImage TrapOrCage "http://farm1.static.flickr.com/153/427719926_923c792e6a.jpg?v=0") pictureList.kif 1011-1011
(subclass TrapOrCage Holder) Mid-level-ontology.kif 4642-4642 陷阱或笼子持有人subclass

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


(subclass Kennel TrapOrCage) Mid-level-ontology.kif 25348-25348 Kennel陷阱或笼子subclass
(subclass LivestockPen TrapOrCage) Mid-level-ontology.kif 4654-4654 LivestockPen陷阱或笼子subclass
(termFormat ChineseLanguage TrapOrCage "陷阱或笼子") domainEnglishFormat.kif 59042-59042
(termFormat ChineseTraditionalLanguage TrapOrCage "陷阱或籠子") domainEnglishFormat.kif 59041-59041
(termFormat EnglishLanguage TrapOrCage "trap or cage") domainEnglishFormat.kif 59040-59040

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


(=>
    (instance ?T TrapOrCage)
    (hasPurpose ?T
        (exists (?C)
            (and
                (instance ?C Confining)
                (instrument ?C ?T)))))
Mid-level-ontology.kif 4646-4652


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners