TreeView Knowledge Base Browser - Paint

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 3160-3160
(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 3159-3159	Paint is a subclass of solution

appearance as argument number 2

(subclass OilPaint Paint)	Mid-level-ontology.kif 3176-3176	Oil paint is a subclass of paint
(subclass WatercolorPaint Paint)	Mid-level-ontology.kif 3166-3166	Watercolor paint is a subclass of paint
(termFormat ChineseLanguage Paint "涂料")	domainEnglishFormat.kif 43981-43981
(termFormat ChineseTraditionalLanguage Paint "塗料")	domainEnglishFormat.kif 43980-43980
(termFormat EnglishLanguage Paint "paint")	domainEnglishFormat.kif 43979-43979

antecedent

(=>
(instance ?PAINT Paint)
(capability Coloring instrument ?PAINT))

Mid-level-ontology.kif 3162-3164

If an object is an instance of paint,
then the object is capable of doing coloring as a instrument

consequent

(=> (and (instance ?PAINT Painting) (patient ?PAINT ?SURFACE) (resource ?PAINT ?STUFF)) (exists (?OBJ) (and (surface ?SURFACE ?OBJ) (instance ?STUFF Paint))))	Mid-level-ontology.kif 3149-3157	If a process is an instance of painting and a self connected object is a patient of the process and an object is a resource for the process, then there exists another self connected object such that the self connected object is a surface of the other self connected object and the object is an instance of paint
(=> (instance ?PP PaintedPicture) (exists (?PAINT ?PAINTING) (and (instance ?PAINT Paint) (instance ?PAINTING Painting) (resource ?PAINTING ?PAINT) (result ?PAINTING ?PP))))	Mid-level-ontology.kif 3060-3067	If an entity is an instance of painted picture, then there exist an object and the objectING such that the object is an instance of paint and the objectING is an instance of painting and the object is a resource for the objectING and the entity is a result of the objectING

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