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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rhodium

 Sigma KEE - Rhodium
Rhodium(銠)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28004-28004 45 是 銠 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29258-29258 測量 4000.0 and 凱文度 是 銠 的 boiling 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28012-28014
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 29257-29257 測量 2239.0 and 凱文度 是 銠 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28002-28002 名 銠 and "Rhodium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31491-31491 roomTempState 銠 and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28001-28001 子類 銠 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28003-28003 銠 是 "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 28006-28010


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