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