LiquidMixture - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LiquidMixture

LiquidMixture

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3457-3459
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14733-14736
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2484-2484
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14732-14732	O conceito LiquidMixture e' completamente decomposto em Solucao + Suspension
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31615-31615	roomTempState LiquidMixture and Liquid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14731-14731	LiquidMixture e' uma sub-classe de Mistura

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14759-14759	GasMixture e' disjunto de LiquidMixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21572-21572	Emulsion e' uma sub-classe de LiquidMixture
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4324-4324	SoilSolution e' uma sub-classe de LiquidMixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21626-21626	SolMixture e' uma sub-classe de LiquidMixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14745-14745	Solucao e' uma sub-classe de LiquidMixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14752-14752	Suspension e' uma sub-classe de LiquidMixture
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34649-34649
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34648-34648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34647-34647

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21585-21590	Objeto e' uma instancia de LiquidMixture Immiscible e' um atributo de Objeto Objeto e' igual a Entidade Entidade e' uma instancia de Emulsion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21596-21601	Objeto e' uma instancia de LiquidMixture Miscible e' um atributo de Objeto Objeto e' igual a Entidade Entidade e' uma instancia de Solucao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14738-14743	Objeto e' uma instancia de LiquidMixture Objeto Objeto e' uma &parte de Objeto Liquid e' um atributo de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19647-19654	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.	Food.kif 686-701	Processo e' uma instancia de CoffeeMaking Processo Objeto, Objeto, Objeto, Objeto and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de LiquidMixture Objeto e' uma &parte de Objeto Objeto e' uma instancia de DrinkingWater Objeto e' uma &parte de Objeto Objeto e' uma instancia de CoffeeGrind Objeto e' um instrumento para Processo Objeto e' uma instancia de Filter Entidade e' o resultado de Processo Entidade e' uma instancia de Coffee
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1292-1298	Objeto e' uma instancia de MolotovCocktail Objeto Objeto e' uma instancia de LiquidMixture Objeto e' uma &parte de Objeto Objeto e' capaz de fazer Combustao no role patient

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