No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27270-27270 |
1 is an atomic number of hydrogen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29182-29182 |
20.28 Kelvin degree(s) is a boiling point of hydrogen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27278-27281 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1811-1811 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1141-1141 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29181-29181 |
14.01 Kelvin degree(s) is a melting point of hydrogen |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2491-2491 |
The number of molecules of hydrogen in a molecule of sulfuric acid is 2 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5878-5878 |
The number of molecules of hydrogen in a molecule of SodiumLactate is 5 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27268-27268 |
"Hydrogen" has name hydrogen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31450-31450 |
roomTempState hydrogen and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27267-27267 |
Hydrogen is a subclass of elemental substance |