TreeView Knowledge Base Browser - LiquidMixture

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 14711-14714
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 14710-14710	O conceito LiquidMixture e' completamente decomposto em Solucao + Suspension
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31619-31619	roomTempState LiquidMixture and Liquid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14709-14709	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 14737-14737	GasMixture e' disjunto de LiquidMixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21573-21573	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 21627-21627	SolMixture e' uma sub-classe de LiquidMixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14723-14723	Solucao e' uma sub-classe de LiquidMixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14730-14730	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 21586-21591	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 21597-21602	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 14716-14721	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 19648-19655	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 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