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 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 ist eine teilkategorie von Removing

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