No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28307-28307 |
62 is an atomic number of samarium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29292-29292 |
2051.0 Kelvin degree(s) is a boiling point of samarium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28315-28323 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1968-1968 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2343-2343 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1243-1243 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29291-29291 |
1345.0 Kelvin degree(s) is a melting point of samarium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28305-28305 |
"Samarium" has name samarium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31508-31508 |
roomTempState samarium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28304-28304 |
Samarium is a subclass of elemental substance |