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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Paint

Sigma KEE - Paint
Paint
antifouling_paint, blackwash, distemper, finger_paint, fingerpaint, finish_coat, finishing_coat, flat_coat, gel, gelatin, ground, house_paint, housepaint, paint, pigment, poster_color, poster_colour, poster_paint, primer, primer_coat, priming, priming_coat, spray_paint, tempera, undercoat, wash

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


(documentation Paint EnglishLanguage "Any Solution which is capable of Coloring something.") Mid-level-ontology.kif 3739-3739
(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 3738-3738

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


(subclass OilPaint Paint) Mid-level-ontology.kif 3755-3755
(subclass WatercolorPaint Paint) Mid-level-ontology.kif 3745-3745
(termFormat EnglishLanguage Paint "paint") domainEnglishFormat.kif 7753-7753

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


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

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


(=>
    (and
        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
        (and
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))
Mid-level-ontology.kif 3728-3736
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3640-3647


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