No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29308-29308 |
8 is an atomic number of oxygen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31117-31117 |
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 29316-29323 |
90.188 Kelvin degree(s) is a boiling point of oxygen |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1885-1885 |
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 31116-31116 |
54.75 Kelvin degree(s) is a melting point of oxygen |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7380-7380 |
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 7405-7405 |
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 7345-7345 |
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 5896-5896 |
The number of molecules of oxygen in a molecule of sodium lactate is 3 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2477-2477 |
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 29306-29306 |
"Oxygen" has &ames$"name" Oxygen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33405-33405 |
room temperature state oxygen and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29305-29305 |
Oxygen is a subclass of elemental substance |