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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BrushOrComb

Sigma KEE - BrushOrComb
BrushOrComb(刷子或梳子)

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 1921-1922
(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 1920-1920 刷子或梳子设备subclass

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


(subclass Broom BrushOrComb) Mid-level-ontology.kif 1908-1908 扫帚刷子或梳子subclass
(subclass Toothbrush BrushOrComb) Mid-level-ontology.kif 2219-2219 牙刷刷子或梳子subclass
(termFormat ChineseLanguage BrushOrComb "刷子或梳子") domainEnglishFormat.kif 12173-12173
(termFormat ChineseTraditionalLanguage BrushOrComb "刷子或梳子") domainEnglishFormat.kif 12172-12172
(termFormat EnglishLanguage BrushOrComb "brush or comb") domainEnglishFormat.kif 12171-12171

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


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


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