TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Broom BrushOrComb)	Mid-level-ontology.kif 2483-2483	Broom is a subclass of brush or comb
(documentation Broom EnglishLanguage "A BrushOrComb whose purpose is to remove dirt and other small particles from floors.")	Mid-level-ontology.kif 2484-2485	Broom is a subclass of brush or comb
(externalImage Broom "http://articulatesoftware.com/SUMOpictures/household/ chores/ broom.png")	pictureList.kif 295-295	Broom is a subclass of brush or comb

appearance as argument number 2

(termFormat EnglishLanguage Broom "broom")	domainEnglishFormat.kif 12113-12113
(termFormat ChineseTraditionalLanguage Broom "掃帚")	domainEnglishFormat.kif 12114-12114
(termFormat ChineseLanguage Broom "扫帚")	domainEnglishFormat.kif 12115-12115

antecedent

(=>
    (instance ?B Broom)
    (hasPurpose ?B
        (exists (?S)
            (and
                (instance ?S Sweeping)
                (instrument ?S ?B)))))

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

consequent

(=>
    (and
        (instance ?S Sweeping)
        (instrument ?S ?B))
    (instance ?B Broom))

If X is an instance of sweeping and Y is an instrument for X, then Y is an instance of broom