No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28571-28571 |
73 是 鉭 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29377-29377 |
測量 5698.0 and 凱文度 是 鉭 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28579-28583 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2390-2390 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2014-2014 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1261-1261 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29376-29376 |
測量 3269.0 and 凱文度 是 鉭 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28569-28569 |
名 鉭 and "Tantalum" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31555-31555 |
roomTempState 鉭 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28568-28568 |
子類 鉭 and ElementalSubstance |