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 25656-25656 7 is an atomic number of nitrogen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27377-27377 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 25663-25668
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 27376-27376 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 25654-25654 "Nitrogen" has name nitrogen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25653-25653 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 25655-25655 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 40540-40540
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40539-40539
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40538-40538

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8309-8314
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 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