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 5559-5560
(externalImage Sweeping "http://upload.wikimedia.org/wikipedia/commons/2/ 20/ Sibiu_street-sweeper.jpg")	pictureList.kif 10278-10278
(externalImage Sweeping "http://upload.wikimedia.org/wikipedia/commons/2/ 22/ Chinese_broom_and_sweeping_tool.jpg")	pictureList.kif 11922-11922
(externalImage Sweeping "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Shimogamo-Broom-M1625.jpg")	pictureList.kif 11923-11923
(externalImage Sweeping "http://upload.wikimedia.org/wikipedia/commons/b/ b7/ Bombay_sweeper.jpg")	pictureList.kif 11925-11925
(externalImage Sweeping "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Menyapu_dgn_lidi.jpg")	pictureList.kif 11924-11924
(subclass Sweeping Removing)	Mid-level-ontology.kif 5558-5558	Sweeping is a subclass of removing

appearance as argument number 2

(termFormat ChineseLanguage Sweeping "扫")	domainEnglishFormat.kif 56555-56555
(termFormat ChineseTraditionalLanguage Sweeping "掃")	domainEnglishFormat.kif 56554-56554
(termFormat EnglishLanguage Sweeping "sweeping")	domainEnglishFormat.kif 56553-56553

antecedent

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

Mid-level-ontology.kif 5562-5566

consequent

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

Mid-level-ontology.kif 1905-1911