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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Paint

Sigma KEE - Paint
Paint(塗料)

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


(documentation Paint EnglishLanguage "A Colloid which is capable of Coloring something.") Mid-level-ontology.kif 3192-3192
(externalImage Paint "http://articulatesoftware.com/SUMOpictures/education/ supplies/ supplies_2/ paint.png") pictureList.kif 645-645
(subclass Paint SolMixture) Mid-level-ontology.kif 3191-3191 子類 塗料 and 溶膠

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


(subclass OilPaint Paint) Mid-level-ontology.kif 3208-3208 子類 油漆 and 塗料
(subclass WatercolorPaint Paint) Mid-level-ontology.kif 3198-3198 子類 水彩顏料 and 塗料
(termFormat ChineseLanguage Paint "涂料") domainEnglishFormat.kif 44006-44006
(termFormat ChineseTraditionalLanguage Paint "塗料") domainEnglishFormat.kif 44005-44005
(termFormat EnglishLanguage Paint "paint") domainEnglishFormat.kif 44004-44004

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


(=>
    (instance ?PAINT Paint)
    (capability Coloring instrument ?PAINT))
Mid-level-ontology.kif 3194-3196

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


(=>
    (and
        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
        (and
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))
Mid-level-ontology.kif 3181-3189
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3092-3099


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