No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27625-27625 |
atomicNumber Potassium and 19 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29269-29269 |
boilingPoint Potassium and 1047.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27633-27636 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1931-1931 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2320-2320 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1218-1218 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29268-29268 |
meltingPoint Potassium and 336.8 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5873-5873 |
molecularRatio Potassium, 1 and PotassiumChloride |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27623-27623 |
"Potassium" se chama nome Potassium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31501-31501 |
roomTempState Potassium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27622-27622 |
Potassium e' uma sub-classe de Substancia Elementar |