Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nitrogen
Nitrogen(nitrogen)
N, atomic_number_7, azote, nitrogen

appearance as argument number 1
-------------------------


(atomicNumber Nitrogen 7) Mid-level-ontology.kif 27653-27653 7 is an atomic number of nitrogen
(boilingPoint Nitrogen
    (MeasureFn 77.4 KelvinDegree))
Mid-level-ontology.kif 29478-29478 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 27661-27666 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 1868-1868 77.4 Kelvin degree(s) is a boiling point of nitrogen
(meltingPoint Nitrogen
    (MeasureFn 63.29 KelvinDegree))
Mid-level-ontology.kif 29477-29477 63.29 Kelvin degree(s) is a melting point of nitrogen
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 7213-7213 The number of molecules of nitrogen in a molecule of nitric oxide is 1
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 7238-7238 The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1
(names Nitrogen "Nitrogen") Mid-level-ontology.kif 27651-27651 "Nitrogen" has name nitrogen
(roomTempState Nitrogen Gas) Mid-level-ontology.kif 31722-31722 roomTempState nitrogen and gas
(subclass Nitrogen ElementalSubstance) Mid-level-ontology.kif 27650-27650 Nitrogen is a subclass of elemental substance

appearance as argument number 2
-------------------------


(conventionalShortName "N" Nitrogen) Mid-level-ontology.kif 27652-27652 Nitrogen is a conventional short name of "N"
(relatedInternalConcept Fertilizer Nitrogen) Economy.kif 5979-5979 Fertilizer is internally related to nitrogen
(termFormat ChineseLanguage Nitrogen "氮") domainEnglishFormat.kif 40661-40661 Fertilizer is internally related to nitrogen
(termFormat ChineseTraditionalLanguage Nitrogen "氮") domainEnglishFormat.kif 40660-40660 Fertilizer is internally related to nitrogen
(termFormat EnglishLanguage Nitrogen "nitrogen") domainEnglishFormat.kif 40659-40659 Fertilizer is internally related to nitrogen

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Nitrogen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 14.0067 Amu)))
Mid-level-ontology.kif 27655-27659

consequent
-------------------------


(=>
    (instance ?A Alkaloid)
    (exists (?N)
        (and
            (instance ?N Nitrogen)
            (part ?N ?A))))
Mid-level-ontology.kif 8866-8871
(=>
    (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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners