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 凯文度 是 铒 的 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 凯文度 是 铒 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28432-28432 "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 铒 是 元素物质 的 subclass

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