AnimalController |
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 2728-2730 | |
(subclass AnimalController Device) | Mid-level-ontology.kif 2727-2727 | AnimalController は デバイス の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage AnimalController "动物控制器") | domainEnglishFormat.kif 7572-7572 | |
(termFormat ChineseTraditionalLanguage AnimalController "動物控制器") | domainEnglishFormat.kif 7571-7571 | |
(termFormat EnglishLanguage AnimalController "animal controller") | domainEnglishFormat.kif 7570-7570 |
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 2732-2740 |