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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oxygen

Sigma KEE - Oxygen
Oxygen(oxygen)
O, atomic_number_8, oxygen

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26781-26781 8 is an atomic number of oxygen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28590-28590 90.188 Kelvin degree(s) is a boiling point of oxygen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26789-26796
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1887-1887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28589-28589 54.75 Kelvin degree(s) is a melting point of oxygen
No TPTP formula. May not be expressible in strict first order. Geography.kif 6902-6902 The number of molecules of oxygen in a molecule of nitric oxide is 1
No TPTP formula. May not be expressible in strict first order. Geography.kif 6927-6927 The number of molecules of oxygen in a molecule of nitrogen dioxide is 2
No TPTP formula. May not be expressible in strict first order. Geography.kif 6867-6867 The number of molecules of oxygen in a molecule of sulphur dioxide is 2
No TPTP formula. May not be expressible in strict first order. Cars.kif 2493-2493 The number of molecules of oxygen in a molecule of sulfuric acid is 4
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26779-26779 "Oxygen" has name oxygen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26778-26778 Oxygen 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 26780-26780 Oxygen is a conventional short name of "O"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43807-43807
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43806-43806
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43805-43805

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


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

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


No TPTP formula. May not be expressible in strict first order. Food.kif 831-846
No TPTP formula. May not be expressible in strict first order. Weather.kif 48-53
No TPTP formula. May not be expressible in strict first order. Cars.kif 20-25
No TPTP formula. May not be expressible in strict first order. Cars.kif 3340-3348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8389-8398


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