No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29509-29509 |
20 is an atomic number of calcium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31139-31139 |
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 29517-29519 |
1760.0 Kelvin degree(s) is a boiling point of calcium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2129-2129 |
1760.0 Kelvin degree(s) is a boiling point of calcium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1684-1684 |
1760.0 Kelvin degree(s) is a boiling point of calcium |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1060-1060 |
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 31138-31138 |
1112.0 Kelvin degree(s) is a melting point of calcium |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5881-5881 |
The number of molecules of calcium in a molecule of calcium chloride is 1 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29507-29507 |
"Calcium" has &ames$"name" Calcium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33415-33415 |
room temperature state calcium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29506-29506 |
Calcium is a subclass of elemental substance |