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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gray

 Sigma KEE - Gray
Gray(gray)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2571-2573
No TPTP formula. May not be expressible in strict first order. Merge.kif 7057-7061
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1276-1278
No TPTP formula. May not be expressible in strict first order. Merge.kif 7054-7054 Gray is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7055-7055 Gray is an instance of systeme international unit

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26508-26508
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26507-26507
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26506-26506


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