No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27693-27693 |
26 是 鐵 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29232-29232 |
測量 3023.0 and 凱文度 是 鐵 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27701-27705 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2239-2239 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1821-1821 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1149-1149 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29231-29231 |
測量 1808.0 and 凱文度 是 鐵 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27691-27691 |
名 鐵 and "Iron" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31476-31476 |
roomTempState 鐵 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27690-27690 |
子類 鐵 and ElementalSubstance |