No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28731-28731 |
85 是 砹 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29338-29338 |
測量 610.0 and 凱文度 是 砹 的 boiling 點 |
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 |
測量 575.0 and 凱文度 是 砹 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28729-28729 |
名 砹 and "Astatine" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31531-31531 |
roomTempState 砹 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28728-28728 |
子類 砹 and ElementalSubstance |