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