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 est une sous-classe de attribut de couleur

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19405-19405	Brown est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19397-19397	GrayColor est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19414-19414	Green est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19409-19409	OrangeColor est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19401-19401	Pink est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19419-19419	Purple est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19394-19394	VioletColor est une instance 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

Attribut est une instance de SecondaryColor attribut est un attribut de objet
processus objet, objet, attribut and attribut objet est le resultat de processus objet est une resource pour processus objet est une resource pour processus attribut est un attribut de objet attribut est un attribut de objet attribut est une instance de couleur primaire attribut est une instance de couleur primaire attribut est attribut

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