| AnimalPoweredDevice(animal powered device)
|
| 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 | Animal powered device is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AnimalPoweredDevice "动物动力装置") | domainEnglishFormat.kif 7598-7598 | |
| (termFormat ChineseTraditionalLanguage AnimalPoweredDevice "動物動力裝置") | domainEnglishFormat.kif 7597-7597 | |
| (termFormat EnglishLanguage AnimalPoweredDevice "animal powered device") | domainEnglishFormat.kif 7596-7596 |
| antecedent |
|
|
| (=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A)))) |
Mid-level-ontology.kif 2759-2766 |
|
|
|
|