Sweeping - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Sweeping "扫")	domainEnglishFormat.kif 56548-56548
(termFormat ChineseTraditionalLanguage Sweeping "掃")	domainEnglishFormat.kif 56547-56547
(termFormat EnglishLanguage Sweeping "sweeping")	domainEnglishFormat.kif 56546-56546

antecedent

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

Mid-level-ontology.kif 6117-6121

consequent

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

Mid-level-ontology.kif 1978-1984