No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30159-30159 |
58 is an atomic number of cerium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31215-31215 |
3530.0 Kelvin degree(s) is a boiling point of cerium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30167-30171 |
3530.0 Kelvin degree(s) is a boiling point of cerium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1693-1693 |
3530.0 Kelvin degree(s) is a boiling point of cerium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2135-2135 |
3530.0 Kelvin degree(s) is a boiling point of cerium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1069-1069 |
3530.0 Kelvin degree(s) is a boiling point of cerium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31214-31214 |
1071.0 Kelvin degree(s) is a melting point of cerium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30157-30157 |
"Cerium" has &ames$"name" Cerium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33453-33453 |
room temperature state cerium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30156-30156 |
Cerium is a subclass of elemental substance |