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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 25673-25673 8 is an atomic number of oxygen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27379-27379 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 25680-25687
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 27378-27378 54.75 Kelvin degree(s) is a melting point of oxygen
No TPTP formula. May not be expressible in strict first order. Geography.kif 6552-6552 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 6577-6577 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 6517-6517 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 2480-2480 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 25671-25671 "Oxygen" has name oxygen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25670-25670 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 25672-25672 Oxygen is a conventional short name of "O"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43744-43744
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43743-43743
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43742-43742

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


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

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


No TPTP formula. May not be expressible in strict first order. Food.kif 846-861
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 3315-3323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8440-8449


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