Oxygen - Sigma Knowledge base Browser

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

If an object is an instance of oxygen and the object is an instance of atom,
then the measure of the object is 15.9994 amu(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 846-861	If an object is an instance of CarbonDioxide and the object is an instance of molecule, then there exist another object, a third object and a fourth object such that the other object is an instance of carbon and the third object is an instance of oxygen and the fourth object is an instance of oxygen and the other object is an instance of atom and the third object is an instance of atom and the fourth object is an instance of atom and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object and the third object is not equal to the fourth object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 48-53	If an object is an instance of air, then there exists another object such that the other object is an instance of oxygen and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 20-25	If a process is an instance of combustion, then there exists an object such that the object is an instance of oxygen and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3315-3323	If a physical is an instance of OxygenSensor, then the physical purpose there exist an entity and another entity such that the entity is an instance of oxygen and the other entity is an instance of measuring and the entity is a patient of the other entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8440-8449	If an entity is an instance of water, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of hydrogen and the other object is a resource for the process and the other object is an instance of oxygen and the entity is a result of the process

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