TreeView Knowledge Base Browser

appearance as argument number 1

(subclass SmokingDevice Device)	Mid-level-ontology.kif 2608-2608	Smoking device is a subclass of device
(documentation SmokingDevice EnglishLanguage "Any Device whose purpose is Smoking.")	Mid-level-ontology.kif 2609-2609	Smoking device is a subclass of device
(externalImage SmokingDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 32/ Zwei_zigaretten.jpg/ 250px_Zwei_zigaretten.jpg")	pictureList.kif 1295-1295	Smoking device is a subclass of device

appearance as argument number 2

(subclass SmokingPipe SmokingDevice)	Mid-level-ontology.kif 2619-2619	Smoking pipe is a subclass of smoking device
(subclass CigarOrCigarette SmokingDevice)	Mid-level-ontology.kif 2837-2837	Cigar or cigarette is a subclass of smoking device
(termFormat EnglishLanguage SmokingDevice "smoking device")	domainEnglishFormat.kif 53517-53517	Cigar or cigarette is a subclass of smoking device
(termFormat ChineseTraditionalLanguage SmokingDevice "吸煙裝置")	domainEnglishFormat.kif 53518-53518	Cigar or cigarette is a subclass of smoking device
(termFormat ChineseLanguage SmokingDevice "吸烟装置")	domainEnglishFormat.kif 53519-53519	Cigar or cigarette is a subclass of smoking device

antecedent

(=>
    (instance ?D SmokingDevice)
    (hasPurpose ?D
        (exists (?S)
            (and
                (instance ?S Smoking)
                (instrument ?S ?D)))))

If X is an instance of smoking device, then X has the purpose there exists Y such that Y is an instance of smoking and X is an instrument for Y