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 19448-19449
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 19447-19447 紫色 是 二等色 的 instance

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


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


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