No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28726-28726 |
84 is an atomic number of polonium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29348-29348 |
1235.0 Kelvin degree(s) is a boiling point of polonium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28734-28738 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1928-1928 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29347-29347 |
527.0 Kelvin degree(s) is a melting point of polonium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28724-28724 |
"Polonium" has name polonium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31534-31534 |
roomTempState polonium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28723-28723 |
Polonium is a subclass of elemental substance |