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
-------------------------


s__atomicNumber(s__Nitrogen,n__7)

Mid-level-ontology.kif 25631-25631 7 is an atomic number of nitrogen
s__boilingPoint(s__Nitrogen,s__MeasureFn(n__77_4,s__KelvinDegree))

Mid-level-ontology.kif 27352-27352 77.4 Kelvin degree(s) is a boiling point of nitrogen
s__documentation(s__Nitrogen,s__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 25638-25643
s__externalImage(s__Nitrogen,'"http://upload.wikimedia.org/wikipedia/commons/a/ af/ N-TableImage.png"')

pictureList.kif 1869-1869
s__meltingPoint(s__Nitrogen,s__MeasureFn(n__63_29,s__KelvinDegree))

Mid-level-ontology.kif 27351-27351 63.29 Kelvin degree(s) is a melting point of nitrogen
s__molecularRatio(s__Nitrogen,n__1,s__NitricOxide)

Geography.kif 6551-6551 The number of molecules of nitrogen in a molecule of nitric oxide is 1
s__molecularRatio(s__Nitrogen,n__1,s__NitrogenDioxide)

Geography.kif 6576-6576 The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1
s__names(s__Nitrogen,'"Nitrogen"')

Mid-level-ontology.kif 25629-25629 "Nitrogen" has name nitrogen
s__instance(s__ElementalSubstance,s__SetOrClass)

s__subclass(s__Nitrogen,s__ElementalSubstance)

s__instance(s__Nitrogen,s__SetOrClass)

Mid-level-ontology.kif 25628-25628 Nitrogen is a subclass of elemental substance

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


s__conventionalShortName('"N"',s__Nitrogen)

Mid-level-ontology.kif 25630-25630 Nitrogen is a conventional short name of "N"
s__relatedInternalConcept(s__Fertilizer,s__Nitrogen)

Economy.kif 4864-4864 Fertilizer is internally related to nitrogen
s__termFormat(s__ChineseLanguage,s__Nitrogen,'"氮"')

domainEnglishFormat.kif 40519-40519
s__termFormat(s__ChineseTraditionalLanguage,s__Nitrogen,'"氮"')

domainEnglishFormat.kif 40518-40518
s__termFormat(s__EnglishLanguage,s__Nitrogen,'"nitrogen"')

domainEnglishFormat.kif 40517-40517

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


( ! [V__ATOM] :
   ((s__instance(V__ATOM,s__Nitrogen) &
       s__instance(V__ATOM,s__Atom))
     =>
     s__measure(V__ATOM,s__MeasureFn(n__14_0067,s__Amu))
   )
)

Mid-level-ontology.kif 25632-25636

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


( ! [V__A] :
   (s__instance(V__A,s__Alkaloid) =>
     ( ? [V__N] :
       ((s__instance(V__N,s__Nitrogen) &
           s__part(V__N,V__A))))
   )
)

Mid-level-ontology.kif 8330-8335
( ! [V__AIR] :
   (s__instance(V__AIR,s__Air) =>
     ( ? [V__PART] :
       ((s__instance(V__PART,s__Nitrogen) &
           s__part(V__PART,V__AIR))))
   )
)

Weather.kif 55-60
( ! [V__C] :
   (s__instance(V__C,s__CSGas) =>
     ( ? [V__CHLOR, V__N] :
       ((s__instance(V__CHLOR,s__Chlorine) &
           s__part(V__CHLOR,V__C)
         &
         s__instance(V__N,s__Nitrogen) &
         s__part(V__N,V__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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners