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 28422-28422 68 是 铒 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29304-29304 2783.0 凯文度 是 铒 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28430-28434
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 29303-29303 1795.0 凯文度 是 铒 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28420-28420 "Erbium" 的名 是 铒
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31514-31514 roomTempState 铒 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28419-28419 铒 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28421-28421 铒 是 "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 28424-28428


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