|
|
   Nitrogen
|
|
|
| appearance as argument number 1 |
|
|
| (atomicNumber Nitrogen 7) | Mid-level-ontology.kif 27420-27420 | |
| (boilingPoint Nitrogen (MeasureFn 77.4 KelvinDegree)) |
Mid-level-ontology.kif 29245-29245 | |
| (documentation Nitrogen EnglishLanguage "Colourless, gaseous element which belongs to group 15 of the periodic table. Constitutes ~78 percent of the atmosphere and is an essential part of the ecosystem. Nitrogen for industrial purposes is acquired by the fractional distillation of liquid air. Chemically inactive, reactive generally only at high temperatures or in electrical discharges. It was discovered in 1772 by D. Rutherford.") | Mid-level-ontology.kif 27428-27433 | |
| (externalImage Nitrogen "http://upload.wikimedia.org/wikipedia/commons/a/ af/ N-TableImage.png") | pictureList.kif 1868-1868 | |
| (meltingPoint Nitrogen (MeasureFn 63.29 KelvinDegree)) |
Mid-level-ontology.kif 29244-29244 | |
| (molecularRatio Nitrogen 1 NitricOxide) | Geography.kif 7213-7213 | |
| (molecularRatio Nitrogen 1 NitrogenDioxide) | Geography.kif 7238-7238 | |
| (names Nitrogen "Nitrogen") | Mid-level-ontology.kif 27418-27418 | |
| (roomTempState Nitrogen Gas) | Mid-level-ontology.kif 31489-31489 | |
| (subclass Nitrogen ElementalSubstance) | Mid-level-ontology.kif 27417-27417 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "N" Nitrogen) | Mid-level-ontology.kif 27419-27419 | |
| (relatedInternalConcept Fertilizer Nitrogen) | Economy.kif 5979-5979 | |
| (termFormat ChineseLanguage Nitrogen "氮") | domainEnglishFormat.kif 40625-40625 | |
| (termFormat ChineseTraditionalLanguage Nitrogen "氮") | domainEnglishFormat.kif 40624-40624 | |
| (termFormat EnglishLanguage Nitrogen "nitrogen") | domainEnglishFormat.kif 40623-40623 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Nitrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 14.0067 Amu))) |
Mid-level-ontology.kif 27422-27426 |
| consequent |
|
|
| (=> (instance ?A Alkaloid) (exists (?N) (and (instance ?N Nitrogen) (part ?N ?A)))) |
Mid-level-ontology.kif 8675-8680 | |
| (=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Nitrogen) (part ?PART ?AIR)))) |
Weather.kif 55-60 | |
| (=> (instance ?C CSGas) (exists (?CHLOR ?N) (and (instance ?CHLOR Chlorine) (part ?CHLOR ?C) (instance ?N Nitrogen) (part ?N ?C)))) |
MilitaryDevices.kif 1334-1341 |
|
|
|
