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 19403-19404
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 19402-19402	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 19433-19433	Brown est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19425-19425	GrayColor est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19442-19442	Green est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19437-19437	OrangeColor est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19429-19429	Pink est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19447-19447	Purple est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19422-19422	VioletColor est une instance de SecondaryColor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51767-51767
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51766-51766
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51765-51765

antecedent

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

Mid-level-ontology.kif 19406-19419

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