No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28884-28884 |
atomicNumber Plutonium and 94 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29356-29356 |
boilingPoint Plutonium and 3600.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28892-28899 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1924-1924 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2314-2314 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1217-1217 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29355-29355 |
meltingPoint Plutonium and 914.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28882-28882 |
"Plutonium" s'appele nom Plutonium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31540-31540 |
roomTempState Plutonium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28881-28881 |
Plutonium est une sous-classe de substance �l�mentaire |