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

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	SecondaryColor e' uma sub-classe de Atributo de Cor

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19406-19406	Brown e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19398-19398	GrayColor e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19415-19415	Green e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19410-19410	OrangeColor e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19402-19402	Pink e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19420-19420	Purple e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19395-19395	VioletColor e' uma instancia de SecondaryColor
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

Atributo e' uma instancia de SecondaryColor Atributo e' um atributo de Objeto
Processo Objeto, Objeto, Atributo and Atributo Objeto e' o resultado de Processo Objeto e' um recurso para Processo Objeto e' um recurso para Processo Atributo e' um atributo de Objeto Atributo e' um atributo de Objeto Atributo e' uma instancia de Cor Primaria Atributo e' uma instancia de Cor Primaria Atributo e' igual a Atributo

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