No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29288-29288 |
7 is an atomic number of nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31113-31113 |
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 29296-29301 |
77.4 Kelvin degree(s) is a boiling point of nitrogen |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1867-1867 |
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 31112-31112 |
63.29 Kelvin degree(s) is a melting point of nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7550-7550 |
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 7575-7575 |
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 29286-29286 |
"Nitrogen" has &ames$"name" Nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33402-33402 |
room temperature state nitrogen and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29285-29285 |
Nitrogen is a subclass of elemental substance |