TreeView Knowledge Base Browser - Oxygen

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

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

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 831-846	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 3340-3348	If a physical is an instance of OxygenSensor, then the physical has the 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 8389-8398	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 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