No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30261-30261 |
63 is an atomic number of europium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31227-31227 |
1870.0 Kelvin degree(s) is a boiling point of europium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30269-30272 |
1870.0 Kelvin degree(s) is a boiling point of europium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1750-1750 |
1870.0 Kelvin degree(s) is a boiling point of europium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2163-2163 |
1870.0 Kelvin degree(s) is a boiling point of europium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1103-1103 |
1870.0 Kelvin degree(s) is a boiling point of europium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31226-31226 |
1095.0 Kelvin degree(s) is a melting point of europium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30259-30259 |
"Europium" has &ames$"name" Europium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33460-33460 |
room temperature state europium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30258-30258 |
Europium is a subclass of elemental substance |