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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3192-3192
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 645-645
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3191-3191	Paint is a subclass of sol mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3208-3208	Oil paint is a subclass of paint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3198-3198	Watercolor paint is a subclass of paint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44006-44006
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44005-44005
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44004-44004

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 3194-3196

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3181-3189	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3092-3099	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