No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28973-28973 |
atomicNumber Einsteinium and 99 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28981-28988 |
|
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 29363-29363 |
meltingPoint Einsteinium and 1133.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28971-28971 |
"Einsteinium" se chama nome Einsteinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28970-28970 |
Einsteinium e' uma sub-classe de Substancia Elementar |