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 5088-5089 | |
(externalImage TrapOrCage "http://farm1.static.flickr.com/153/427719926_923c792e6a.jpg?v=0") | pictureList.kif 1011-1011 | |
(subclass TrapOrCage Holder) | Mid-level-ontology.kif 5087-5087 |
appearance as argument number 2 |
![]() |
(subclass Kennel TrapOrCage) | Mid-level-ontology.kif 27010-27010 | |
(subclass LivestockPen TrapOrCage) | Mid-level-ontology.kif 5099-5099 | |
(termFormat ChineseLanguage TrapOrCage "陷阱或笼子") | domainEnglishFormat.kif 59026-59026 | |
(termFormat ChineseTraditionalLanguage TrapOrCage "陷阱或籠子") | domainEnglishFormat.kif 59025-59025 | |
(termFormat EnglishLanguage TrapOrCage "trap or cage") | domainEnglishFormat.kif 59024-59024 |
antecedent |
![]() |
(=> (instance ?T TrapOrCage) (hasPurpose ?T (exists (?C) (and (instance ?C Confining) (instrument ?C ?T))))) |
Mid-level-ontology.kif 5091-5097 |
![]() |
![]() |