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 19375-19376
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 19374-19374	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 19405-19405	Brown e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19397-19397	GrayColor e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19414-19414	Green e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19409-19409	OrangeColor e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19401-19401	Pink e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19419-19419	Purple e' uma instancia de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19394-19394	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 19378-19391

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