No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30353-30353 |
68 is an atomic number of erbium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31235-31235 |
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 30361-30365 |
2783.0 Kelvin degree(s) is a boiling point of erbium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2162-2162 |
2783.0 Kelvin degree(s) is a boiling point of erbium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1749-1749 |
2783.0 Kelvin degree(s) is a boiling point of erbium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1102-1102 |
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 31234-31234 |
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 30351-30351 |
"Erbium" has &ames$"name" Erbium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33463-33463 |
room temperature state erbium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30350-30350 |
Erbium is a subclass of elemental substance |