No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27442-27442 |
atomicNumber Sodium and 11 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29202-29202 |
boilingPoint Sodium and 1165.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27450-27453 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1991-1991 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2365-2365 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1255-1255 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29201-29201 |
meltingPoint Sodium and 370.95 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5869-5869 |
molecularRatio Sodium, 1 and SodiumChloride |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5876-5876 |
molecularRatio Sodium, 1 and SodiumLactate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27440-27440 |
"Sodium" s'appele nom Sodium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31461-31461 |
roomTempState Sodium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27439-27439 |
Sodium est une sous-classe de substance �l�mentaire |