Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sweeping
Sweeping(扫)
more pictures...

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 移除subclass

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Sweeping "扫") domainEnglishFormat.kif 56517-56517
(termFormat ChineseTraditionalLanguage Sweeping "掃") domainEnglishFormat.kif 56516-56516
(termFormat EnglishLanguage Sweeping "sweeping") domainEnglishFormat.kif 56515-56515

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners