No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28131-28131 |
53 是 碘 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29274-29274 |
測量 457.55 and 凱文度 是 碘 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28139-28144 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1819-1819 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2237-2237 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1147-1147 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29273-29273 |
測量 386.65 and 凱文度 是 碘 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28129-28129 |
名 碘 and "Iodine" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31499-31499 |
roomTempState 碘 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28128-28128 |
子類 碘 and ElementalSubstance |