No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28850-28850 |
atomicNumber Uranium and 92 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29352-29352 |
boilingPoint Uranium and 4091.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28858-28861 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2053-2053 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2419-2419 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1280-1280 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29351-29351 |
meltingPoint Uranium and 1405.5 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28848-28848 |
"Uranium" s'appele nom Uranium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31538-31538 |
roomTempState Uranium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28847-28847 |
Uranium est une sous-classe de substance �l�mentaire |