No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27420-27420 |
7 is an atomic number of nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29245-29245 |
77.4 Kelvin degree(s) is a boiling point of nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27428-27433 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1868-1868 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29244-29244 |
63.29 Kelvin degree(s) is a melting point of nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7213-7213 |
The number of molecules of nitrogen in a molecule of nitric oxide is 1 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7238-7238 |
The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27418-27418 |
"Nitrogen" has name nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31489-31489 |
roomTempState nitrogen and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27417-27417 |
Nitrogen is a subclass of elemental substance |