No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28828-28828 |
90 is an atomic number of thorium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29360-29360 |
5060.0 Kelvin degree(s) is a boiling point of thorium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28836-28840 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2399-2399 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2028-2028 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29359-29359 |
2023.0 Kelvin degree(s) is a melting point of thorium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28826-28826 |
"Thorium" has name thorium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31540-31540 |
roomTempState thorium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28825-28825 |
Thorium is a subclass of elemental substance |