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 "A Colloid which is capable of Coloring something.") Mid-level-ontology.kif 3642-3642
(externalImage Paint "http://articulatesoftware.com/SUMOpictures/education/ supplies/ supplies_2/ paint.png") pictureList.kif 645-645
(subclass Paint SolMixture) Mid-level-ontology.kif 3641-3641 Paint is a subclass of sol mixture

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


(subclass OilPaint Paint) Mid-level-ontology.kif 3658-3658 Oil paint is a subclass of paint
(subclass WatercolorPaint Paint) Mid-level-ontology.kif 3648-3648 Watercolor paint is a subclass of paint
(termFormat ChineseLanguage Paint "涂料") domainEnglishFormat.kif 44006-44006 Watercolor paint is a subclass of paint
(termFormat ChineseTraditionalLanguage Paint "塗料") domainEnglishFormat.kif 44005-44005 Watercolor paint is a subclass of paint
(termFormat EnglishLanguage Paint "paint") domainEnglishFormat.kif 44004-44004 Watercolor paint is a subclass of paint

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


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

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


(=>
    (and
        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
        (and
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))
Mid-level-ontology.kif 3631-3639
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3542-3549


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