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