No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27590-27590 |
20 is an atomic number of calcium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29220-29220 |
1760.0 Kelvin degree(s) is a boiling point of calcium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27598-27600 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2130-2130 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1685-1685 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1060-1060 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29219-29219 |
1112.0 Kelvin degree(s) is a melting point of calcium |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5866-5866 |
The number of molecules of calcium in a molecule of CalciumChloride is 1 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27588-27588 |
"Calcium" has name calcium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31470-31470 |
roomTempState calcium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27587-27587 |
Calcium is a subclass of elemental substance |