No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28810-28810 |
89 is an atomic number of actinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29358-29358 |
3470.0 Kelvin degree(s) is a boiling point of actinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28818-28823 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1617-1617 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29357-29357 |
1320.0 Kelvin degree(s) is a melting point of actinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28808-28808 |
"Actinium" has name actinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31539-31539 |
roomTempState actinium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28807-28807 |
Actinium is a subclass of elemental substance |