No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27375-27375 |
8 is an atomic number of oxygen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29184-29184 |
90.188 Kelvin degree(s) is a boiling point of oxygen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27383-27390 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1886-1886 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29183-29183 |
54.75 Kelvin degree(s) is a melting point of oxygen |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7214-7214 |
The number of molecules of oxygen in a molecule of nitric oxide is 1 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7239-7239 |
The number of molecules of oxygen in a molecule of nitrogen dioxide is 2 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7179-7179 |
The number of molecules of oxygen in a molecule of sulphur dioxide is 2 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5879-5879 |
The number of molecules of oxygen in a molecule of SodiumLactate is 3 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2499-2499 |
The number of molecules of oxygen in a molecule of sulfuric acid is 4 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27373-27373 |
"Oxygen" has name oxygen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31454-31454 |
roomTempState oxygen and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27372-27372 |
Oxygen is a subclass of elemental substance |