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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Erbium

Sigma KEE - Erbium
Erbium(erbium)
Er, atomic_number_68, erbium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28434-28434 68 is an atomic number of erbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29316-29316 2783.0 Kelvin degree(s) is a boiling point of erbium
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 Kelvin degree(s) is a melting point of erbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28432-28432 "Erbium" has name erbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31518-31518 roomTempState erbium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28431-28431 Erbium is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28433-28433 Erbium is a conventional short name of "Er"
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