No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28985-28985 |
99 is an atomic number of einsteinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28993-29000 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1744-1744 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29375-29375 |
1133.0 Kelvin degree(s) is a melting point of einsteinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28983-28983 |
"Einsteinium" has name einsteinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28982-28982 |
Einsteinium is a subclass of elemental substance |