No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27542-27542 |
17 is an atomic number of chlorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29214-29214 |
238.55 Kelvin degree(s) is a boiling point of chlorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27550-27554 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1698-1698 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2137-2137 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1073-1073 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29213-29213 |
172.17 Kelvin degree(s) is a melting point of chlorine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5872-5872 |
The number of molecules of chlorine in a molecule of PotassiumChloride is 1 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5868-5868 |
The number of molecules of chlorine in a molecule of salt is 1 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5865-5865 |
The number of molecules of chlorine in a molecule of CalciumChloride is 2 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1805-1805 |
The number of molecules of chlorine in a molecule of freon-12 is 2 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27540-27540 |
"Chlorine" has name chlorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31467-31467 |
roomTempState chlorine and liquid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27539-27539 |
Chlorine is a subclass of elemental substance |