No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28782-28782 |
atomicNumber Radium and 88 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29344-29344 |
boilingPoint Radium and 1413.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28790-28793 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1943-1943 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29343-29343 |
meltingPoint Radium and 973.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28780-28780 |
"Radium" s'appele nom Radium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31534-31534 |
roomTempState Radium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28779-28779 |
Radium est une sous-classe de substance �l�mentaire |