No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28019-28019 |
46 是 鈀 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29260-29260 |
測量 3413.0 and 凱文度 是 鈀 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28027-28030 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2278-2278 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1890-1890 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1211-1211 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29259-29259 |
測量 1825.0 and 凱文度 是 鈀 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28017-28017 |
名 鈀 and "Palladium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31492-31492 |
roomTempState 鈀 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28016-28016 |
子類 鈀 and ElementalSubstance |