No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27357-27357 |
atomicNumber Nitrogen and 7 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29182-29182 |
boilingPoint Nitrogen and 77.4 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27365-27370 |
|
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 29181-29181 |
meltingPoint Nitrogen and 63.29 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7213-7213 |
molecularRatio Nitrogen, 1 and NitricOxide |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7238-7238 |
molecularRatio Nitrogen, 1 and NitrogenDioxide |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27355-27355 |
"Nitrogen" s'appele nom Nitrogen |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31453-31453 |
roomTempState Nitrogen and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27354-27354 |
Nitrogen est une sous-classe de substance �l�mentaire |