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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Erbium

 Sigma KEE - Erbium
Erbium(鉺)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28434-28434 68 是 鉺 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29316-29316 測量 2783.0 and 凱文度 是 鉺 的 boiling 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28442-28446
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2163-2163
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1750-1750
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1102-1102
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29315-29315 測量 1795.0 and 凱文度 是 鉺 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28432-28432 名 鉺 and "Erbium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31518-31518 roomTempState 鉺 and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28431-28431 子類 鉺 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28433-28433 鉺 是 "Er" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22378-22378
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22377-22377
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22376-22376

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


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


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