No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28082-28082 |
46 是 鈀 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29323-29323 |
測量 3413.0 and 凱文度 是 鈀 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28090-28093 |
|
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 29322-29322 |
測量 1825.0 and 凱文度 是 鈀 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28080-28080 |
名 鈀 and "Palladium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31528-31528 |
roomTempState 鈀 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28079-28079 |
子類 鈀 and ElementalSubstance |