No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28782-28782 |
88 是 鐳 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29344-29344 |
測量 1413.0 and 凱文度 是 鐳 的 boiling 點 |
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 |
測量 973.0 and 凱文度 是 鐳 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28780-28780 |
名 鐳 and "Radium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31534-31534 |
roomTempState 鐳 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28779-28779 |
子類 鐳 and ElementalSubstance |