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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nitrogen
Nitrogen

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


(atomicNumber Nitrogen 7) Mid-level-ontology.kif 25656-25656
(boilingPoint Nitrogen
    (MeasureFn 77.4 KelvinDegree))
Mid-level-ontology.kif 27377-27377
(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 25663-25668
(externalImage Nitrogen "http://upload.wikimedia.org/wikipedia/commons/a/ af/ N-TableImage.png") pictureList.kif 1869-1869
(meltingPoint Nitrogen
    (MeasureFn 63.29 KelvinDegree))
Mid-level-ontology.kif 27376-27376
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 6551-6551
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 6576-6576
(names Nitrogen "Nitrogen") Mid-level-ontology.kif 25654-25654
(subclass Nitrogen ElementalSubstance) Mid-level-ontology.kif 25653-25653

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


(conventionalShortName "N" Nitrogen) Mid-level-ontology.kif 25655-25655
(relatedInternalConcept Fertilizer Nitrogen) Economy.kif 4864-4864
(termFormat ChineseLanguage Nitrogen "氮") domainEnglishFormat.kif 40540-40540
(termFormat ChineseTraditionalLanguage Nitrogen "氮") domainEnglishFormat.kif 40539-40539
(termFormat EnglishLanguage Nitrogen "nitrogen") domainEnglishFormat.kif 40538-40538

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


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

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


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