GasMixture - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - GasMixture

GasMixture

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14783-14783	GasMixture e' disjunto de LiquidMixture
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3465-3466
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14784-14787
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4480-4480
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31634-31634	roomTempState GasMixture and Gas
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14782-14782	GasMixture e' uma sub-classe de Mistura

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7542-7542	Aerosal e' uma sub-classe de GasMixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14841-14841	Air e' uma sub-classe de GasMixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14796-14796	Cloud e' uma sub-classe de GasMixture
No TPTP formula. May not be expressible in strict first order.	Cars.kif 67-67	FuelVapor e' uma sub-classe de GasMixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14777-14777	Suspension e' uma sub-classe de GasMixture
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25532-25532
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25531-25531
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25530-25530

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	Objeto e' uma instancia de AbsoluteFilter Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de GasMixture Objeto e' um patient de Processo Solid e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14789-14794	Objeto e' uma instancia de GasMixture Objeto Objeto e' uma &parte de Objeto Gas e' um atributo de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19675-19682	Processo e' uma instancia de Chromatography Objeto Objeto e' um recurso para Processo Objeto e' uma instancia de LiquidMixture Objeto e' uma instancia de GasMixture
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1368-1376	Fisico e' uma instancia de AbsoluteFilter Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Remover Entidade tem como origem Entidade Entidade e' uma instancia de GasMixture Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1092-1103	Processo e' uma instancia de Spraying Objeto Objeto and Objeto Gas e' um atributo de Objeto Liquid e' um atributo de Objeto Objeto e' uma instancia de GasMixture Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' um patient de Processo Objeto e' um patient de Processo Objeto 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