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 29288-29288 atomicNumber Nitrogen and 7
(boilingPoint Nitrogen
    (MeasureFn 77.4 KelvinDegree))
Mid-level-ontology.kif 31113-31113 boilingPoint Nitrogen and 77.4 KelvinDegree(s)
(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 boilingPoint Nitrogen and 77.4 KelvinDegree(s)
(externalImage Nitrogen "http://upload.wikimedia.org/wikipedia/commons/a/ af/ N_TableImage.png") pictureList.kif 1867-1867 boilingPoint Nitrogen and 77.4 KelvinDegree(s)
(meltingPoint Nitrogen
    (MeasureFn 63.29 KelvinDegree))
Mid-level-ontology.kif 31112-31112 meltingPoint Nitrogen and 63.29 KelvinDegree(s)
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 7550-7550 molecularRatio Nitrogen, 1 and NitricOxide
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 7575-7575 molecularRatio Nitrogen, 1 and NitrogenDioxide
(names Nitrogen "Nitrogen") Mid-level-ontology.kif 29286-29286 "Nitrogen" s'appele &ames$"nom" Nitrogen
(roomTempState Nitrogen Gas) Mid-level-ontology.kif 33402-33402 roomTempState Nitrogen and Gas
(subclass Nitrogen ElementalSubstance) Mid-level-ontology.kif 29285-29285 Nitrogen est une sous-classe de substance �l�mentaire

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


(conventionalShortName "N" Nitrogen) Mid-level-ontology.kif 29287-29287 conventionalShortName "N" and Nitrogen
(relatedInternalConcept Fertilizer Nitrogen) Economy.kif 6377-6377 Fertilizer est reli� � l'int�rieur de SUMO � Nitrogen
(termFormat ChineseLanguage Nitrogen "氮") domainEnglishFormat.kif 40636-40636 Fertilizer est reli� � l'int�rieur de SUMO � Nitrogen
(termFormat ChineseTraditionalLanguage Nitrogen "氮") domainEnglishFormat.kif 40635-40635 Fertilizer est reli� � l'int�rieur de SUMO � Nitrogen
(termFormat EnglishLanguage Nitrogen "nitrogen") domainEnglishFormat.kif 40634-40634 Fertilizer est reli� � l'int�rieur de SUMO � 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


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