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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sweeping

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 5565-5566
(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 5564-5564

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


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

antecedent
-------------------------


(=>
    (and
        (instance ?S Sweeping)
        (instrument ?S ?B))
    (instance ?B Broom))
Mid-level-ontology.kif 5568-5572

consequent
-------------------------


(=>
    (instance ?B Broom)
    (hasPurpose ?B
        (exists (?S)
            (and
                (instance ?S Sweeping)
                (instrument ?S ?B)))))
Mid-level-ontology.kif 1912-1918


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

Show without tree


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