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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BrushOrComb
BrushOrComb(brush or comb)
brush, comb, fine-tooth_comb, fine-toothed_comb, hatchel, heckle, pocket_comb, pocketcomb

appearance as argument number 1
-------------------------


(documentation BrushOrComb EnglishLanguage "A Device which consists of a handle and bristles and whose purpose is to remove particles from something or to smooth something out.") Mid-level-ontology.kif 1987-1988
(externalImage BrushOrComb "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Hairbrush.jpg") pictureList.kif 54-54
(externalImage BrushOrComb "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Comb.png") pictureList.kif 73-73
(subclass BrushOrComb Device) Mid-level-ontology.kif 1986-1986 Brush or comb is a subclass of device

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


(subclass Broom BrushOrComb) Mid-level-ontology.kif 1974-1974 Broom is a subclass of brush or comb
(subclass Toothbrush BrushOrComb) Mid-level-ontology.kif 2285-2285 Toothbrush is a subclass of brush or comb
(termFormat ChineseLanguage BrushOrComb "刷子或梳子") domainEnglishFormat.kif 12188-12188 Toothbrush is a subclass of brush or comb
(termFormat ChineseTraditionalLanguage BrushOrComb "刷子或梳子") domainEnglishFormat.kif 12187-12187 Toothbrush is a subclass of brush or comb
(termFormat EnglishLanguage BrushOrComb "brush or comb") domainEnglishFormat.kif 12186-12186 Toothbrush is a subclass of brush or comb

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


(=>
    (instance ?B BrushOrComb)
    (hasPurpose ?B
        (exists (?S)
            (and
                (or
                    (instance ?S Removing)
                    (instance ?S SurfaceChange))
                (instrument ?S ?B)))))
Mid-level-ontology.kif 1990-1998


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