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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paint
Paint(涂料)

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


(documentation Paint EnglishLanguage "Any Solution which is capable of Coloring something.") Mid-level-ontology.kif 3150-3150
(externalImage Paint "http://www.adampease.org/Articulate/SUMOpictures/pictures/ education/ supplies/ supplies_2/ paint.png") pictureList.kif 645-645
(subclass Paint Solution) Mid-level-ontology.kif 3149-3149 涂料溶液subclass

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


(subclass OilPaint Paint) Mid-level-ontology.kif 3166-3166 油漆涂料subclass
(subclass WatercolorPaint Paint) Mid-level-ontology.kif 3156-3156 水彩颜料涂料subclass
(termFormat ChineseLanguage Paint "涂料") domainEnglishFormat.kif 43981-43981
(termFormat ChineseTraditionalLanguage Paint "塗料") domainEnglishFormat.kif 43980-43980
(termFormat EnglishLanguage Paint "paint") domainEnglishFormat.kif 43979-43979

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


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

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


(=>
    (and
        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
        (and
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))
Mid-level-ontology.kif 3139-3147
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3050-3057


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