Sweeping - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Sweeping Removing)	Mid-level-ontology.kif 6683-6683	Sweeping is a subclass of removing
(documentation Sweeping EnglishLanguage "Removing small particles from the floor by means of a Broom.")	Mid-level-ontology.kif 6684-6685	Sweeping is a subclass of removing
(externalImage Sweeping "http://upload.wikimedia.org/wikipedia/commons/2/ 20/ Sibiu_street_sweeper.jpg")	pictureList.kif 10276-10276	Sweeping is a subclass of removing
(externalImage Sweeping "http://upload.wikimedia.org/wikipedia/commons/2/ 22/ Chinese_broom_and_sweeping_tool.jpg")	pictureList.kif 11915-11915	Sweeping is a subclass of removing
(externalImage Sweeping "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Shimogamo_Broom_M1625.jpg")	pictureList.kif 11916-11916	Sweeping is a subclass of removing
(externalImage Sweeping "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Menyapu_dgn_lidi.jpg")	pictureList.kif 11917-11917	Sweeping is a subclass of removing
(externalImage Sweeping "http://upload.wikimedia.org/wikipedia/commons/b/ b7/ Bombay_sweeper.jpg")	pictureList.kif 11918-11918	Sweeping is a subclass of removing

appearance as argument number 2

(termFormat EnglishLanguage Sweeping "sweeping")	domainEnglishFormat.kif 56510-56510
(termFormat ChineseTraditionalLanguage Sweeping "掃")	domainEnglishFormat.kif 56511-56511
(termFormat ChineseLanguage Sweeping "扫")	domainEnglishFormat.kif 56512-56512

antecedent

(=>
    (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

consequent

(=>
    (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