TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Chimney StationaryArtifact)	Mid-level-ontology.kif 16608-16608	Chimney is a subclass of stationary artifact
(subclass Chimney Device)	Mid-level-ontology.kif 16609-16609	Chimney is a subclass of device
(documentation Chimney EnglishLanguage "A thin passageway through which Smoke from a controlled fire is conducted Outside of a Building or Room.")	Mid-level-ontology.kif 16610-16611	Chimney is a subclass of device
(externalImage Chimney "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 67/ Chimney_stacks_-_Newcastle_Upon_Tyne_-_England_-_140804.jpg/ 250px_Chimney_stacks_-_Newcastle_Upon_Tyne_-_England_-_140804.jpg")	pictureList.kif 1072-1072	Chimney is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage Chimney "chimney")	domainEnglishFormat.kif 14520-14520
(termFormat ChineseTraditionalLanguage Chimney "煙囪")	domainEnglishFormat.kif 14521-14521
(termFormat ChineseLanguage Chimney "烟囱")	domainEnglishFormat.kif 14522-14522

antecedent

(=>
    (instance ?C Chimney)
    (hasPurpose ?C
        (exists (?S ?R)
            (and
                (instance ?S Smoke)
                (instance ?R Removing)
                (instrument ?R ?C)))))

If X is an instance of chimney, then X has the purpose there exist Y, Z such that Y is an instance of smoke, Z is an instance of removing, and X is an instrument for Z

consequent

(=>
    (instance ?F Fireplace)
    (exists (?C)
        (and
            (instance ?C Chimney)
            (connected ?F ?C))))

If X is an instance of fireplace, then there exists Y such that Y is an instance of chimney and X is connected to Y