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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25626-25626 7 is an atomic number of nitrogen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27347-27347 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 25633-25638
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1869-1869 "http://upload.wikimedia.org/wikipedia/commons/a/af/ N-TableImage.png" is a URL depicting nitrogen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27346-27346 63.29 Kelvin degree(s) is a melting point of nitrogen
No TPTP formula. May not be expressible in strict first order. Geography.kif 6535-6535 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 6560-6560 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 25624-25624 "Nitrogen" has name nitrogen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25623-25623 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 25625-25625 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 7190-7190 "nitrogen" is the printable form of nitrogen in english language

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8327-8332
No TPTP formula. May not be expressible in strict first order. Weather.kif 56-61
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1333-1340


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