| Nitrogen(nitrogen)
| | N, atomic_number_7, azote, nitrogen |
| appearance as argument number 1 |
|
|
| (subclass Nitrogen ElementalSubstance) | Mid-level-ontology.kif 30049-30049 | Nitrogen is a subclass of elemental substance |
| (atomicNumber Nitrogen 7) | Mid-level-ontology.kif 30052-30052 | 7 is an atomic number of nitrogen |
| (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 30060-30065 | 7 is an atomic number of nitrogen |
| (meltingPoint Nitrogen (MeasureFn 63.29 KelvinDegree)) |
Mid-level-ontology.kif 31876-31876 | 63.29 Kelvin degree(s) is a melting point of nitrogen |
| (boilingPoint Nitrogen (MeasureFn 77.4 KelvinDegree)) |
Mid-level-ontology.kif 31877-31877 | 77.4 Kelvin degree(s) is a boiling point of nitrogen |
| (roomTempState Nitrogen Gas) | Mid-level-ontology.kif 34183-34183 | room temperature state nitrogen and gas |
| (molecularRatio Nitrogen 1 NitricOxide) | Geography.kif 8868-8868 | The number of molecules of nitrogen in a molecule of nitric oxide is 1 |
| (molecularRatio Nitrogen 1 NitrogenDioxide) | Geography.kif 8893-8893 | The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1 |
| (externalImage Nitrogen "http://upload.wikimedia.org/wikipedia/commons/a/ af/ N_TableImage.png") | pictureList.kif 1867-1867 | The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1 |
| appearance as argument number 2 |
|
|
| (names "Nitrogen" Nitrogen) | Mid-level-ontology.kif 30050-30050 | Nitrogen has name "Nitrogen" |
| (conventionalShortName "N" Nitrogen) | Mid-level-ontology.kif 30051-30051 | Nitrogen is a conventional short name of "N" |
| (relatedInternalConcept Fertilizer Nitrogen) | Economy.kif 6372-6372 | Fertilizer is internally related to nitrogen |
| (termFormat EnglishLanguage Nitrogen "nitrogen") | domainEnglishFormat.kif 40627-40627 | Fertilizer is internally related to nitrogen |
| (termFormat ChineseTraditionalLanguage Nitrogen "氮") | domainEnglishFormat.kif 40628-40628 | Fertilizer is internally related to nitrogen |
| (termFormat ChineseLanguage Nitrogen "氮") | domainEnglishFormat.kif 40629-40629 | Fertilizer is internally related to nitrogen |
| antecedent |
|
|
| (=> (and (instance ?ATOM Nitrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 14.0067 Amu))) |
Mid-level-ontology.kif 30054-30058 | If X is an instance of nitrogen and X is an instance of atom, then the measure of X is 14.0067 amu(s) |
| consequent |
|
|
| (=> (instance ?A Alkaloid) (exists (?N) (and (instance ?N Nitrogen) (part ?N ?A)))) |
Mid-level-ontology.kif 9895-9900 | If X is an instance of alkaloid, then there exists Y such that Y is an instance of nitrogen and Y is a part of X |
| (=> (instance ?C CSGas) (exists (?CHLOR ?N) (and (instance ?CHLOR Chlorine) (part ?CHLOR ?C) (instance ?N Nitrogen) (part ?N ?C)))) |
MilitaryDevices.kif 1491-1498 | If X is an instance of CS gas, then there exist Y, Z such that Y is an instance of chlorine, Y is a part of X, Z is an instance of nitrogen, and Z is a part of X |
| (=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Nitrogen) (part ?PART ?AIR)))) |
Weather.kif 55-60 | If X is an instance of air, then there exists Y such that Y is an instance of nitrogen and Y is a part of X |
|
|
|