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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TrapOrCage
TrapOrCage(trap or cage)
birdcage, cage, coop, entanglement, hutch, squirrel_cage, trap, web

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 4638-4639
(externalImage TrapOrCage "http://farm1.static.flickr.com/153/427719926_923c792e6a.jpg?v=0") pictureList.kif 1011-1011
(subclass TrapOrCage Holder) Mid-level-ontology.kif 4637-4637 Trap or cage is a subclass of holder

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


(subclass Kennel TrapOrCage) Mid-level-ontology.kif 25636-25636 Kennel is a subclass of trap or cage
(subclass LivestockPen TrapOrCage) Mid-level-ontology.kif 4649-4649 Pen is a subclass of trap or cage
(termFormat ChineseLanguage TrapOrCage "陷阱或笼子") domainEnglishFormat.kif 59080-59080 Pen is a subclass of trap or cage
(termFormat ChineseTraditionalLanguage TrapOrCage "陷阱或籠子") domainEnglishFormat.kif 59079-59079 Pen is a subclass of trap or cage
(termFormat EnglishLanguage TrapOrCage "trap or cage") domainEnglishFormat.kif 59078-59078 Pen is a subclass of trap or cage

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


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


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