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