No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28845-28845 |
88 是 鐳 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29407-29407 |
測量 1413.0 and 凱文度 是 鐳 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28853-28856 |
|
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 29406-29406 |
測量 973.0 and 凱文度 是 鐳 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28843-28843 |
名 鐳 and "Radium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31570-31570 |
roomTempState 鐳 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28842-28842 |
子類 鐳 and ElementalSubstance |