No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28798-28798 |
89 是 錒 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29346-29346 |
測量 3470.0 and 凱文度 是 錒 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28806-28811 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1617-1617 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29345-29345 |
測量 1320.0 and 凱文度 是 錒 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28796-28796 |
名 錒 and "Actinium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31535-31535 |
roomTempState 錒 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28795-28795 |
子類 錒 and ElementalSubstance |