No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28031-28031 |
46 is an atomic number of palladium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29272-29272 |
3413.0 Kelvin degree(s) is a boiling point of palladium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28039-28042 |
|
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 29271-29271 |
1825.0 Kelvin degree(s) is a melting point of palladium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28029-28029 |
"Palladium" has name palladium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31496-31496 |
roomTempState palladium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28028-28028 |
Palladium is a subclass of elemental substance |