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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paint
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 3735-3735
(externalImage Paint "http://www.adampease.org/Articulate/SUMOpictures/pictures/ education/ supplies/ supplies_2/ paint.png") pictureList.kif 645-645 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ education/ supplies/ supplies_2/ paint.png" is a URL depicting paint
(subclass Paint Solution) Mid-level-ontology.kif 3734-3734 Paint is a subclass of solution

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


(subclass OilPaint Paint) Mid-level-ontology.kif 3751-3751 Oil paint is a subclass of paint
(subclass WatercolorPaint Paint) Mid-level-ontology.kif 3741-3741 Watercolor paint is a subclass of paint
(termFormat ChineseLanguage Paint "涂料") domainEnglishFormat.kif 43921-43921 "涂料" is the printable form of paint in ChineseLanguage
(termFormat ChineseTraditionalLanguage Paint "塗料") domainEnglishFormat.kif 43920-43920 "塗料" is the printable form of paint in ChineseTraditionalLanguage
(termFormat EnglishLanguage Paint "paint") domainEnglishFormat.kif 43919-43919 "paint" is the printable form of paint in english language

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


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

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


(=>
    (and
        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
        (and
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))
Mid-level-ontology.kif 3724-3732
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3636-3643


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