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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Blue

 Sigma KEE - Blue
Blue(blue)
blue, blue-black, blueish, blueness, bluish, bluish_black, dark-blue, light-blue, pale_blue

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3950-3950
No TPTP formula. May not be expressible in strict first order. Merge.kif 17673-17673
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1667-1667
No TPTP formula. May not be expressible in strict first order. Merge.kif 17672-17672 Blue is an instance of primary color

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11399-11399
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11398-11398
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11397-11397


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