No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28933-28933 |
96 是 鋦 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28941-28945 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1722-1722 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29372-29372 |
測量 1613.0 and 凱文度 是 鋦 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28931-28931 |
名 鋦 and "Curium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31546-31546 |
roomTempState 鋦 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28930-28930 |
子類 鋦 and ElementalSubstance |