No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27387-27387 |
atomicNumber Oxygen and 8 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29196-29196 |
boilingPoint Oxygen and 90.188 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27395-27402 |
|
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 29195-29195 |
meltingPoint Oxygen and 54.75 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7214-7214 |
molecularRatio Oxygen, 1 and NitricOxide |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7239-7239 |
molecularRatio Oxygen, 2 and NitrogenDioxide |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7179-7179 |
molecularRatio Oxygen, 2 and SulphurDioxide |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5879-5879 |
molecularRatio Oxygen, 3 and SodiumLactate |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2493-2493 |
molecularRatio Oxygen, 4 and SulfuricAcid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27385-27385 |
"Oxygen" se chama nome Oxygen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31458-31458 |
roomTempState Oxygen and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27384-27384 |
Oxygen e' uma sub-classe de Substancia Elementar |