No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27430-27430 |
atomicNumber Sodium and 11 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29190-29190 |
boilingPoint Sodium and 1165.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27438-27441 |
|
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 29189-29189 |
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 27428-27428 |
"Sodium" se chama nome Sodium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31457-31457 |
roomTempState Sodium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27427-27427 |
Sodium e' uma sub-classe de Substancia Elementar |