Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Purple

 Sigma KEE - Purple
Purple(紫色)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19420-19421
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1942-1942
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2324-2324
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1221-1221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19419-19419 紫色 是 二等色 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48194-48194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48193-48193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48192-48192


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