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