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 3171-3171
(externalImage Paint "http://www.adampease.org/Articulate/SUMOpictures/pictures/ education/ supplies/ supplies_2/ paint.png") pictureList.kif 645-645
(subclass Paint SolMixture) Mid-level-ontology.kif 3170-3170

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


(subclass OilPaint Paint) Mid-level-ontology.kif 3187-3187
(subclass WatercolorPaint Paint) Mid-level-ontology.kif 3177-3177
(termFormat ChineseLanguage Paint "涂料") domainEnglishFormat.kif 44019-44019
(termFormat ChineseTraditionalLanguage Paint "塗料") domainEnglishFormat.kif 44018-44018
(termFormat EnglishLanguage Paint "paint") domainEnglishFormat.kif 44017-44017

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


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

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


(=>
    (and
        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
        (and
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))
Mid-level-ontology.kif 3160-3168
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3071-3078


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