No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27879-27879 |
38 is an atomic number of strontium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29244-29244 |
1657.0 Kelvin degree(s) is a boiling point of strontium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27887-27891 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2007-2007 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2380-2380 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1257-1257 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29243-29243 |
1042.0 Kelvin degree(s) is a melting point of strontium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27877-27877 |
"Strontium" has name strontium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31484-31484 |
roomTempState strontium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27876-27876 |
Strontium is a subclass of elemental substance |