|
|
   Nitrogen
|
|
|
| appearance as argument number 1 |
|
|
| (atomicNumber Nitrogen 7) | Mid-level-ontology.kif 26739-26739 | |
| (boilingPoint Nitrogen (MeasureFn 77.4 KelvinDegree)) |
Mid-level-ontology.kif 28564-28564 | |
| (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 26747-26752 | |
| (externalImage Nitrogen "http://upload.wikimedia.org/wikipedia/commons/a/ af/ N-TableImage.png") | pictureList.kif 1869-1869 | |
| (meltingPoint Nitrogen (MeasureFn 63.29 KelvinDegree)) |
Mid-level-ontology.kif 28563-28563 | |
| (molecularRatio Nitrogen 1 NitricOxide) | Geography.kif 6901-6901 | |
| (molecularRatio Nitrogen 1 NitrogenDioxide) | Geography.kif 6926-6926 | |
| (names Nitrogen "Nitrogen") | Mid-level-ontology.kif 26737-26737 | |
| (subclass Nitrogen ElementalSubstance) | Mid-level-ontology.kif 26736-26736 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "N" Nitrogen) | Mid-level-ontology.kif 26738-26738 | |
| (relatedInternalConcept Fertilizer Nitrogen) | Economy.kif 5022-5022 | |
| (termFormat ChineseLanguage Nitrogen "氮") | domainEnglishFormat.kif 40608-40608 | |
| (termFormat ChineseTraditionalLanguage Nitrogen "氮") | domainEnglishFormat.kif 40607-40607 | |
| (termFormat EnglishLanguage Nitrogen "nitrogen") | domainEnglishFormat.kif 40606-40606 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Nitrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 14.0067 Amu))) |
Mid-level-ontology.kif 26741-26745 |
| consequent |
|
|
| (=> (instance ?A Alkaloid) (exists (?N) (and (instance ?N Nitrogen) (part ?N ?A)))) |
Mid-level-ontology.kif 8251-8256 | |
| (=> (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 |
|
|
|
