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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rhodium
Rhodium(rhodium)
Rh, atomic_number_45, rhodium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28016-28016 45 is an atomic number of rhodium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29270-29270 4000.0 Kelvin degree(s) is a boiling point of rhodium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28024-28026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2337-2337
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1957-1957
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1235-1235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29269-29269 2239.0 Kelvin degree(s) is a melting point of rhodium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28014-28014 "Rhodium" has name rhodium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31495-31495 roomTempState rhodium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28013-28013 Rhodium is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28015-28015 Rhodium is a conventional short name of "Rh"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49922-49922
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49921-49921
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49920-49920

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28018-28022


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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