No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28833-28833 |
atomicNumber Protactinium and 91 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29350-29350 |
boilingPoint Protactinium and 4300.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28841-28845 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1939-1939 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29349-29349 |
meltingPoint Protactinium and 1827.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28831-28831 |
"Protactinium" s'appele nom Protactinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31537-31537 |
roomTempState Protactinium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28830-28830 |
Protactinium est une sous-classe de substance �l�mentaire |