| Nitrogen
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Nitrogen 7) | Mid-level-ontology.kif 29290-29290 | |
| (boilingPoint Nitrogen (MeasureFn 77.4 KelvinDegree)) |
Mid-level-ontology.kif 31115-31115 | |
| (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 29298-29303 | |
| (externalImage Nitrogen "http://upload.wikimedia.org/wikipedia/commons/a/ af/ N_TableImage.png") | pictureList.kif 1867-1867 | |
| (meltingPoint Nitrogen (MeasureFn 63.29 KelvinDegree)) |
Mid-level-ontology.kif 31114-31114 | |
| (molecularRatio Nitrogen 1 NitricOxide) | Geography.kif 7283-7283 | |
| (molecularRatio Nitrogen 1 NitrogenDioxide) | Geography.kif 7308-7308 | |
| (names Nitrogen "Nitrogen") | Mid-level-ontology.kif 29288-29288 | |
| (roomTempState Nitrogen Gas) | Mid-level-ontology.kif 33404-33404 | |
| (subclass Nitrogen ElementalSubstance) | Mid-level-ontology.kif 29287-29287 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "N" Nitrogen) | Mid-level-ontology.kif 29289-29289 | |
| (relatedInternalConcept Fertilizer Nitrogen) | Economy.kif 6377-6377 | |
| (termFormat ChineseLanguage Nitrogen "氮") | domainEnglishFormat.kif 40636-40636 | |
| (termFormat ChineseTraditionalLanguage Nitrogen "氮") | domainEnglishFormat.kif 40635-40635 | |
| (termFormat EnglishLanguage Nitrogen "nitrogen") | domainEnglishFormat.kif 40634-40634 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Nitrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 14.0067 Amu))) |
Mid-level-ontology.kif 29292-29296 |
| consequent |
|
|
| (=> (instance ?A Alkaloid) (exists (?N) (and (instance ?N Nitrogen) (part ?N ?A)))) |
Mid-level-ontology.kif 9854-9859 | |
| (=> (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 1491-1498 |
|
|
|