TreeView Knowledge Base Browser - SecondaryColor

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SecondaryColor

SecondaryColor(secondary color)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19376-19377
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2350-2350
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19375-19375	Secondary color is a subclass of color attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19406-19406	Brown is an instance of secondary color
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19398-19398	Gray color is an instance of secondary color
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19415-19415	Green is an instance of secondary color
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 19402-19402	Pink is an instance of secondary color
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19420-19420	Purple is an instance of secondary color
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19395-19395	Violet color is an instance of secondary color
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51765-51765
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51764-51764
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51763-51763

antecedent

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

Mid-level-ontology.kif 19379-19392

If an attribute is an instance of secondary color and the attribute is an attribute of an object,
then there exist a process, another object,, , a third object,, , another attribute and a third attribute such that the object is a result of the process and the other object is a resource for the process and the third object is a resource for the process and the other attribute is an attribute of the other object and the third attribute is an attribute of the third object and the other attribute is an instance of primary color and the third attribute is an instance of primary color and the other attribute is not equal to the third attribute

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