Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Nitrogen
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Nitrogen ElementalSubstance) | Mid-level-ontology.kif 29992-29992 | Nitrogen is a subclass of elemental substance |
| (atomicNumber Nitrogen 7) | Mid-level-ontology.kif 29995-29995 | 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 30003-30008 | 7 is an atomic number of nitrogen |
| (meltingPoint Nitrogen (MeasureFn 63.29 KelvinDegree)) |
Mid-level-ontology.kif 31819-31819 | 63.29 Kelvin degree(s) is a melting point of nitrogen |
| (boilingPoint Nitrogen (MeasureFn 77.4 KelvinDegree)) |
Mid-level-ontology.kif 31820-31820 | 77.4 Kelvin degree(s) is a boiling point of nitrogen |
| (roomTempState Nitrogen Gas) | Mid-level-ontology.kif 33929-33929 | room temperature state nitrogen and gas |
| (molecularRatio Nitrogen 1 NitricOxide) | Geography.kif 8874-8874 | The number of molecules of nitrogen in a molecule of nitric oxide is 1 |
| (molecularRatio Nitrogen 1 NitrogenDioxide) | Geography.kif 8898-8898 | 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 29993-29993 | Nitrogen has name "Nitrogen" |
| (conventionalShortName "N" Nitrogen) | Mid-level-ontology.kif 29994-29994 | Nitrogen is a conventional short name of "N" |
| (relatedInternalConcept Fertilizer Nitrogen) | Economy.kif 6400-6400 | 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 29997-30001 | 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 10008-10013 | 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 |
|
