TreeView Knowledge Base Browser - Painting

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Painting

Painting(painting)

finger-paint, glaze, paint, painting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3177-3179
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 646-646
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3176-3176	Painting is a subclass of coloring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3175-3175	Painting is a subclass of covering

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3234-3234	Art painting is a subclass of painting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44042-44042
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44041-44041
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44040-44040

antecedent

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3224-3231	If an entity is an instance of oil picture, then there exist an object and the entityAINTING such that the object is an instance of oil paint and the entityAINTING is an instance of painting and the object is a resource for the entityAINTING and the entity is a result of the entityAINTING
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3251-3253	If an object is an instance of painting device, then the object is capable of doing painting as a instrument
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3105-3112	If an entity is an instance of watercolor picture, then there exist the entityP and a process such that the entityP is an instance of watercolor paint and the process is an instance of painting and the entityP is a resource for the process and the entity is a result of the process

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