![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(atomicNumber Nitrogen 7) | Mid-level-ontology.kif 29288-29288 | 7 is an atomic number of nitrogen |
(boilingPoint Nitrogen (MeasureFn 77.4 KelvinDegree)) |
Mid-level-ontology.kif 31113-31113 | 77.4 Kelvin degree(s) is a boiling point 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 29296-29301 | 77.4 Kelvin degree(s) is a boiling point of nitrogen |
(externalImage Nitrogen "http://upload.wikimedia.org/wikipedia/commons/a/ af/ N_TableImage.png") | pictureList.kif 1867-1867 | 77.4 Kelvin degree(s) is a boiling point of nitrogen |
(meltingPoint Nitrogen (MeasureFn 63.29 KelvinDegree)) |
Mid-level-ontology.kif 31112-31112 | 63.29 Kelvin degree(s) is a melting point of nitrogen |
(molecularRatio Nitrogen 1 NitricOxide) | Geography.kif 7550-7550 | The number of molecules of nitrogen in a molecule of nitric oxide is 1 |
(molecularRatio Nitrogen 1 NitrogenDioxide) | Geography.kif 7575-7575 | The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1 |
(names Nitrogen "Nitrogen") | Mid-level-ontology.kif 29286-29286 | "Nitrogen" has &ames$"name" Nitrogen |
(roomTempState Nitrogen Gas) | Mid-level-ontology.kif 33402-33402 | room temperature state nitrogen and gas |
(subclass Nitrogen ElementalSubstance) | Mid-level-ontology.kif 29285-29285 | Nitrogen is a subclass of elemental substance |
appearance as argument number 2 |
![]() |
(conventionalShortName "N" Nitrogen) | Mid-level-ontology.kif 29287-29287 | Nitrogen is a conventional short name of "N" |
(relatedInternalConcept Fertilizer Nitrogen) | Economy.kif 6377-6377 | Fertilizer is internally related to nitrogen |
(termFormat ChineseLanguage Nitrogen "氮") | domainEnglishFormat.kif 40636-40636 | Fertilizer is internally related to nitrogen |
(termFormat ChineseTraditionalLanguage Nitrogen "氮") | domainEnglishFormat.kif 40635-40635 | Fertilizer is internally related to nitrogen |
(termFormat EnglishLanguage Nitrogen "nitrogen") | domainEnglishFormat.kif 40634-40634 | Fertilizer is internally related to nitrogen |
antecedent |
![]() |
(=> (and (instance ?ATOM Nitrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 14.0067 Amu))) |
Mid-level-ontology.kif 29290-29294 |
|
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 |
|
![]() |
![]() |