No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28062-28062 |
48 是 鎘 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29276-29276 |
測量 1038.0 and 凱文度 是 鎘 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28070-28073 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1683-1683 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29275-29275 |
測量 594.1 and 凱文度 是 鎘 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28060-28060 |
名 鎘 and "Cadmium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31498-31498 |
roomTempState 鎘 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28059-28059 |
子類 鎘 and ElementalSubstance |