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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nitrogen

Sigma KEE - Nitrogen
Nitrogen

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


(atomicNumber Nitrogen 7) Mid-level-ontology.kif 27369-27369 atomicNumber Nitrogen and 7
(boilingPoint Nitrogen
    (MeasureFn 77.4 KelvinDegree))
Mid-level-ontology.kif 29194-29194 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 27377-27382
(externalImage Nitrogen "http://upload.wikimedia.org/wikipedia/commons/a/ af/ N-TableImage.png") pictureList.kif 1868-1868
(meltingPoint Nitrogen
    (MeasureFn 63.29 KelvinDegree))
Mid-level-ontology.kif 29193-29193 meltingPoint Nitrogen and 63.29 KelvinDegree(s)
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 7213-7213 molecularRatio Nitrogen, 1 and NitricOxide
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 7238-7238 molecularRatio Nitrogen, 1 and NitrogenDioxide
(names Nitrogen "Nitrogen") Mid-level-ontology.kif 27367-27367 "Nitrogen" s'appele nom Nitrogen
(roomTempState Nitrogen Gas) Mid-level-ontology.kif 31457-31457 roomTempState Nitrogen and Gas
(subclass Nitrogen ElementalSubstance) Mid-level-ontology.kif 27366-27366 Nitrogen est une sous-classe de substance �l�mentaire

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


(conventionalShortName "N" Nitrogen) Mid-level-ontology.kif 27368-27368 conventionalShortName "N" and Nitrogen
(relatedInternalConcept Fertilizer Nitrogen) Economy.kif 5979-5979 Fertilizer est reli� � l'int�rieur de SUMO � Nitrogen
(termFormat ChineseLanguage Nitrogen "氮") domainEnglishFormat.kif 40623-40623
(termFormat ChineseTraditionalLanguage Nitrogen "氮") domainEnglishFormat.kif 40622-40622
(termFormat EnglishLanguage Nitrogen "nitrogen") domainEnglishFormat.kif 40621-40621

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


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

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


(=>
    (instance ?A Alkaloid)
    (exists (?N)
        (and
            (instance ?N Nitrogen)
            (part ?N ?A))))
Mid-level-ontology.kif 8648-8653
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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