| 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 4969-4970 | |
| (externalImage TrapOrCage "http://farm1.static.flickr.com/153/427719926_923c792e6a.jpg?v=0") | pictureList.kif 1012-1012 | |
| (subclass TrapOrCage Holder) | Mid-level-ontology.kif 4968-4968 |
| appearance as argument number 2 |
|
|
| (subclass Kennel TrapOrCage) | Mid-level-ontology.kif 23282-23282 | |
| (subclass LivestockPen TrapOrCage) | Mid-level-ontology.kif 4980-4980 | |
| (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 4972-4978 |
|
|
|