TreeView Knowledge Base Browser - OrangeColor

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OrangeColor

OrangeColor(orange color)

orange, orangeness, orangish

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19412-19413
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1882-1882
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2275-2275
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19410-19410	Orange color is an instance of secondary color
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19411-19411	Orange color is an instance of spectral color

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42402-42402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42401-42401
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42400-42400

consequent

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

Food.kif 2346-2351

If an object is an instance of orange fruit and another object is a part of the object and the other object is an instance of peel or rind,
then orange color is an attribute of the other object

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