|
|
   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 | TrapOrCage è una sottoclasse di Holder |
| appearance as argument number 2 |
|
|
| (subclass Kennel TrapOrCage) | Mid-level-ontology.kif 25348-25348 | Kennel è una sottoclasse di TrapOrCage |
| (subclass LivestockPen TrapOrCage) | Mid-level-ontology.kif 4654-4654 | LivestockPen è una sottoclasse di TrapOrCage |
| (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 |
|
|
|
|
