|
|
   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 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 | TrapOrCage è una sottoclasse di Holder |
| appearance as argument number 2 |
|
|
| (subclass Kennel TrapOrCage) | Mid-level-ontology.kif 25405-25405 | Kennel è una sottoclasse di TrapOrCage |
| (subclass LivestockPen TrapOrCage) | Mid-level-ontology.kif 4649-4649 | LivestockPen è una sottoclasse di TrapOrCage |
| (termFormat ChineseLanguage TrapOrCage "陷阱或笼子") | domainEnglishFormat.kif 59044-59044 | |
| (termFormat ChineseTraditionalLanguage TrapOrCage "陷阱或籠子") | domainEnglishFormat.kif 59043-59043 | |
| (termFormat EnglishLanguage TrapOrCage "trap or cage") | domainEnglishFormat.kif 59042-59042 |
| antecedent |
|
|
| (=> (instance ?T TrapOrCage) (hasPurpose ?T (exists (?C) (and (instance ?C Confining) (instrument ?C ?T))))) |
Mid-level-ontology.kif 4641-4647 |
|
|
|
|
