No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28731-28731 |
atomicNumber Astatine and 85 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29338-29338 |
boilingPoint Astatine and 610.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28739-28743 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1648-1648 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29337-29337 |
meltingPoint Astatine and 575.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28729-28729 |
"Astatine" s'appele nom Astatine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31531-31531 |
roomTempState Astatine and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28728-28728 |
Astatine est une sous-classe de substance �l�mentaire |