No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28726-28726 |
atomicNumber Polonium and 84 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29348-29348 |
boilingPoint Polonium and 1235.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28734-28738 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1928-1928 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29347-29347 |
meltingPoint Polonium and 527.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28724-28724 |
"Polonium" s'appele nom Polonium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31534-31534 |
roomTempState Polonium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28723-28723 |
Polonium est une sous-classe de substance �l�mentaire |