TreeView Knowledge Base Browser - AnimalPoweredDevice

appearance as argument number 1

(subclass AnimalPoweredDevice Device)	Mid-level-ontology.kif 3362-3362	Animal powered device is a subclass of device
(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 3363-3365	Animal powered device is a subclass of device
(externalImage AnimalPoweredDevice "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 16/ Elizabethboweslyonandkinggeorgeincanada.jpg/ 257px_Elizabethboweslyonandkinggeorgeincanada.jpg")	pictureList.kif 1029-1029	Animal powered device is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage AnimalPoweredDevice "animal powered device")	domainEnglishFormat.kif 7583-7583
(termFormat ChineseTraditionalLanguage AnimalPoweredDevice "動物動力裝置")	domainEnglishFormat.kif 7584-7584
(termFormat ChineseLanguage AnimalPoweredDevice "动物动力装置")	domainEnglishFormat.kif 7585-7585

antecedent

(=>
    (and
        (instance ?D AnimalPoweredDevice)
        (instrument ?P ?D))
    (exists (?A)
        (and
            (instance ?A Animal)
            (instrument ?P ?A))))

If X is an instance of animal powered device and X is an instrument for Y, then there exists Z such that Z is an instance of animal and Z is an instrument for Y