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 3741-3741
(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 3740-3740 subclass Paint and Solution

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


(subclass OilPaint Paint) Mid-level-ontology.kif 3757-3757 subclass OilPaint and Paint
(subclass WatercolorPaint Paint) Mid-level-ontology.kif 3747-3747 subclass WatercolorPaint and Paint
(termFormat ChineseLanguage Paint "涂料") domainEnglishFormat.kif 43897-43897
(termFormat ChineseTraditionalLanguage Paint "塗料") domainEnglishFormat.kif 43896-43896
(termFormat EnglishLanguage Paint "paint") domainEnglishFormat.kif 43895-43895

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


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

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


(=>
    (and
        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
        (and
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))
Mid-level-ontology.kif 3730-3738
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3642-3649


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners