No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28082-28082 |
atomicNumber Palladium and 46 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29323-29323 |
boilingPoint Palladium and 3413.0 KelvinDegree(s) |
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 |
meltingPoint Palladium and 1825.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28080-28080 |
"Palladium" se chama nome Palladium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31528-31528 |
roomTempState Palladium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28079-28079 |
Palladium e' uma sub-classe de Substancia Elementar |