TreeView Knowledge Base Browser - WatercolorPicture

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

WatercolorPicture

Sigma KEE - WatercolorPicture

WatercolorPicture(watercolor picture)

water-color, water-colour, watercolor, watercolour

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3102-3103
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4851-4851
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3101-3101	Watercolor picture is a subclass of painted picture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3220-3220	Oil picture is disjoint from watercolor picture
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62381-62381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62380-62380
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62379-62379

antecedent

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