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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27438-27438	atomicNumber Oxygen and 8
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29247-29247	boilingPoint Oxygen and 90.188 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27446-27453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1886-1886
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29246-29246	meltingPoint Oxygen and 54.75 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7214-7214	molecularRatio Oxygen, 1 and NitricOxide
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7239-7239	molecularRatio Oxygen, 2 and NitrogenDioxide
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7179-7179	molecularRatio Oxygen, 2 and SulphurDioxide
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5879-5879	molecularRatio Oxygen, 3 and SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2476-2476	molecularRatio Oxygen, 4 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27436-27436	"Oxygen" se chama nome Oxygen
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31490-31490	roomTempState Oxygen and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27435-27435	Oxygen e' uma sub-classe de Substancia Elementar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27437-27437	conventionalShortName "O" and Oxygen
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43832-43832
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43831-43831
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43830-43830

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27440-27444	Fisico e' uma instancia de Oxygen Fisico e' uma instancia de Atomo a medida de Fisico e' 15.9994 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5766-5773	Mistura e' uma instancia de Sangue DeoxygenatedBlood e' um atributo de Mistura concentration Numero Real Milliliter(s), Oxygen, 100 Milliliter(s) and Mistura approximateValue Numero Real and 14
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5743-5750	Mistura e' uma instancia de Sangue OxygenatedBlood e' um atributo de Mistura concentration Numero Real Milliliter(s), Oxygen, 100 Milliliter(s) and Mistura approximateValue Numero Real and 20

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3414-3429	Objeto e' uma instancia de CarbonDioxide Objeto e' uma instancia de Molecula Objeto Objeto and Objeto Objeto e' uma instancia de Carbon Objeto e' uma instancia de Oxygen Objeto e' uma instancia de Oxygen Objeto e' uma instancia de Atomo Objeto e' uma instancia de Atomo Objeto e' uma instancia de Atomo Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 48-53	Objeto e' uma instancia de Air Objeto Objeto e' uma instancia de Oxygen Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 20-25	Processo e' uma instancia de Combustao Objeto Objeto e' uma instancia de Oxygen Objeto e' um recurso para Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3325-3333	Fisico e' uma instancia de OxygenSensor Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Oxygen Entidade e' uma instancia de Medir Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8809-8818	Entidade e' uma instancia de Agua Processo Objeto and Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' uma instancia de Hydrogen Objeto e' um recurso para Processo Objeto e' uma instancia de Oxygen Entidade e' o resultado de Processo

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