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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rhodium
Rhodium(铑)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28016-28016 45 是 铑 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29270-29270 4000.0 凯文度 是 铑 的 boiling 点
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 凯文度 是 铑 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28014-28014 "Rhodium" 的名 是 铑
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31495-31495 roomTempState 铑 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28013-28013 铑 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28015-28015 铑 是 "Rh" 的 conventional 简称
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