No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28340-28340 |
63 is an atomic number of europium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29306-29306 |
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 28348-28351 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1751-1751 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2164-2164 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1103-1103 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29305-29305 |
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 28338-28338 |
"Europium" has name europium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31513-31513 |
roomTempState europium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28337-28337 |
Europium is a subclass of elemental substance |