No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28287-28287 |
atomicNumber Promethium and 61 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29290-29290 |
boilingPoint Promethium and 3000.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28295-28302 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1936-1936 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29289-29289 |
meltingPoint Promethium and 1353.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28285-28285 |
"Promethium" se chama nome Promethium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31507-31507 |
roomTempState Promethium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28284-28284 |
Promethium e' uma sub-classe de Substancia Elementar |