No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28743-28743 |
atomicNumber Astatine and 85 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29350-29350 |
boilingPoint Astatine and 610.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28751-28755 |
|
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 29349-29349 |
meltingPoint Astatine and 575.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28741-28741 |
"Astatine" se chama nome Astatine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31535-31535 |
roomTempState Astatine and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28740-28740 |
Astatine e' uma sub-classe de Substancia Elementar |