No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28050-28050 |
48 是 鎘 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29264-29264 |
測量 1038.0 and 凱文度 是 鎘 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28058-28061 |
|
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 29263-29263 |
測量 594.1 and 凱文度 是 鎘 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28048-28048 |
名 鎘 and "Cadmium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31494-31494 |
roomTempState 鎘 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28047-28047 |
子類 鎘 and ElementalSubstance |