| AnimalPoweredDevice
|
| appearance as argument number 1 |
|
| (documentation AnimalPoweredDevice EnglishLanguage "AnimalPoweredDevice is the subclass of Devices that function with power supplied by animals. Examples: oxcarts, horse_drawn plows, mule_driven mills.") | Mid-level-ontology.kif 2756-2758 | |
| (externalImage AnimalPoweredDevice "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 16/ Elizabethboweslyonandkinggeorgeincanada.jpg/ 257px_Elizabethboweslyonandkinggeorgeincanada.jpg") | pictureList.kif 1029-1029 | |
| (subclass AnimalPoweredDevice Device) | Mid-level-ontology.kif 2755-2755 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AnimalPoweredDevice "动物动力装置") | domainEnglishFormat.kif 7593-7593 | |
| (termFormat ChineseTraditionalLanguage AnimalPoweredDevice "動物動力裝置") | domainEnglishFormat.kif 7592-7592 | |
| (termFormat EnglishLanguage AnimalPoweredDevice "animal powered device") | domainEnglishFormat.kif 7591-7591 |
| antecedent |
|
|
| (=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A)))) |
Mid-level-ontology.kif 2759-2766 |
|
|
|