No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28673-28673 |
atomicNumber Thallium and 81 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29345-29345 |
boilingPoint Thallium and 1730.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28681-28690 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2026-2026 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2397-2397 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1267-1267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29344-29344 |
meltingPoint Thallium and 576.7 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28671-28671 |
"Thallium" se chama nome Thallium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31515-31515 |
roomTempState Thallium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28670-28670 |
Thallium e' uma sub-classe de Substancia Elementar |