No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27446-27446 |
atomicNumber Magnesium and 12 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29192-29192 |
boilingPoint Magnesium and 1380.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27454-27459 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1839-1839 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2250-2250 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1172-1172 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29191-29191 |
meltingPoint Magnesium and 921.95 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27444-27444 |
"Magnesium" s'appele nom Magnesium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31458-31458 |
roomTempState Magnesium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27443-27443 |
Magnesium est une sous-classe de substance �l�mentaire |