| AnimalController(animal controller) | | bridle, chains, dog_collar, irons, rein |
| appearance as argument number 1 |
|
|
| (documentation AnimalController EnglishLanguage "Any Device which is used to control the movements of an Animal or Human, e.g. leashes, reins, harnesses, muzzles, bridles, shackles, handcuffs, etc.") | Mid-level-ontology.kif 3198-3200 | |
| (subclass AnimalController Device) | Mid-level-ontology.kif 3197-3197 | Animal controller is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AnimalController "动物控制器") | domainEnglishFormat.kif 7567-7567 | |
| (termFormat ChineseTraditionalLanguage AnimalController "動物控制器") | domainEnglishFormat.kif 7566-7566 | |
| (termFormat EnglishLanguage AnimalController "animal controller") | domainEnglishFormat.kif 7565-7565 |
| antecedent |
|
|
| (=> (instance ?AC AnimalController) (hasPurpose ?AC (exists (?G ?A) (and (instance ?G Guiding) (instrument ?G ?AC) (instance ?A Animal) (patient ?G ?A))))) |
Mid-level-ontology.kif 3202-3210 |
|
|
|
|