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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nitrogen

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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25683-25683 7 is an atomic number of nitrogen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27404-27404 77.4 Kelvin degree(s) is a boiling point of nitrogen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25690-25695
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1869-1869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27403-27403 63.29 Kelvin degree(s) is a melting point of nitrogen
No TPTP formula. May not be expressible in strict first order. Geography.kif 6551-6551 The number of molecules of nitrogen in a molecule of nitric oxide is 1
No TPTP formula. May not be expressible in strict first order. Geography.kif 6576-6576 The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25681-25681 "Nitrogen" has name nitrogen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25680-25680 Nitrogen is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25682-25682 Nitrogen is a conventional short name of "N"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4864-4864 Fertilizer is internally related to nitrogen
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40519-40519
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40518-40518
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40517-40517

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25684-25688

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8336-8341
No TPTP formula. May not be expressible in strict first order. Weather.kif 55-60
No TPTP formula. May not be expressible in strict first order. 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners