TreeView Knowledge Base Browser - DrinkingWater

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DrinkingWater

DrinkingWater

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2812-2813
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2319-2319
No TPTP formula. May not be expressible in strict first order.	Food.kif 1308-1308	ingredient DrinkingWater and Americano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31639-31639	roomTempState DrinkingWater and Liquid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2810-2810	DrinkingWater e' uma sub-classe de FreshWater
No TPTP formula. May not be expressible in strict first order.	Food.kif 218-218	DrinkingWater e' uma sub-classe de PreparedFood

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 219-219	DrinkingWater se chama nome "potable water"
No TPTP formula. May not be expressible in strict first order.	Food.kif 238-238	PurifiedWater e' relacionado internamente por SUMO a DrinkingWater
No TPTP formula. May not be expressible in strict first order.	Food.kif 269-269	TapWater e' relacionado internamente por SUMO a DrinkingWater
No TPTP formula. May not be expressible in strict first order.	Food.kif 221-221	SparklingWater e' uma sub-classe de DrinkingWater
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46856-46856
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46855-46855
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46854-46854

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1321-1332	Objeto e' uma instancia de Americano Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de DrinkingWater a medida de Substancia e' 90.0 CelsiusDegree(s) mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter approximateValue Numero Real and 0.03 approximateValue Numero Real and 0.15
No TPTP formula. May not be expressible in strict first order.	Food.kif 1440-1450	Objeto e' uma instancia de LongBlack Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de DrinkingWater mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter approximateValue Numero Real and 0.06 approximateValue Numero Real and 0.12
No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	Objeto e' uma sub-classe de Mistura initialPart Objeto and Carne initialPart Objeto and FoodFromPlant initialPart Objeto and DrinkingWater Objeto e' igual a SoupStock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	Classe e' uma sub-classe de DrinkingWater Classe e' uma sub-classe de FoodForFn Humano

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	Processo e' uma instancia de DryRoasting Entidade e' uma instancia de Comida Entidade e' um patient de Processo Entidade Entidade Entidade e' uma instancia de Aquecer Entidade e' uma instancia de Stirring Entidade e' um sub-processo de Processo Entidade e' um sub-processo de Processo tempo de existencia de Entidade acontece durante tempo de existencia de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade Entidade Entidade e' uma instancia de Oil Entidade e' uma instancia de DrinkingWater Entidade e' um patient de Processo Entidade e' um patient de Processo vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 1310-1320	Entidade e' uma instancia de Americano Processo Fisico and Entidade Processo e' uma instancia de Pouring Fisico e' um patient de Processo Fisico e' uma instancia de DrinkingWater a medida de Fisico e' 90 CelsiusDegree(s) Processo termina em Entidade Entidade e' uma instancia de Espresso Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 641-643	Objeto Corpuscular e' uma instancia de Coffee DrinkingWater e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Food.kif 844-851	Processo e' uma instancia de ColdBrewingCoffee Objeto Objeto e' uma instancia de DrinkingWater Objeto e' um recurso para Processo a medida de Objeto e' 20 CelsiusDegree(s)
No TPTP formula. May not be expressible in strict first order.	Food.kif 664-673	Processo e' uma instancia de CoffeeMaking Processo Entidade and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de LiquidMotion Entidade e' um patient de Processo Entidade e' uma instancia de DrinkingWater Processo termina em Entidade Entidade e' uma instancia de CoffeeGrind
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.	Food.kif 675-684	Processo e' uma instancia de CoffeeMaking Processo Objeto and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de Soaking Objeto e' um recurso para Processo Objeto e' uma instancia de DrinkingWater Entidade e' um patient de Processo Entidade e' uma instancia de CoffeeGrind
No TPTP formula. May not be expressible in strict first order.	Food.kif 1609-1616	Objeto e' uma instancia de Dough Objeto Objeto Objeto e' uma instancia de Flour Objeto e' uma instancia de DrinkingWater Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 754-762	Objeto e' uma instancia de Espresso Objeto Numero Real Objeto e' uma instancia de DrinkingWater Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real Liter(s) approximateValue Numero Real and 0.03
No TPTP formula. May not be expressible in strict first order.	Food.kif 1423-1427	Objeto Corpuscular e' uma instancia de LongBlack Espresso e' feito de Objeto Corpuscular DrinkingWater e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Food.kif 1429-1439	Entidade e' uma instancia de LongBlack Processo Objeto and Entidade Processo e' uma instancia de Pouring Objeto e' um patient de Processo Objeto e' uma instancia de DrinkingWater HotTemperature e' um atributo de Objeto Processo termina em Entidade Entidade e' uma instancia de Espresso Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3444-3446	Objeto Corpuscular e' uma instancia de Sorbet DrinkingWater e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Food.kif 226-235	Objeto e' uma instancia de SparklingWater Processo Entidade and Objeto Processo e' uma instancia de Colocar Entidade e' uma instancia de DrinkingWater Processo termina em Objeto Objeto e' uma instancia de CarbonDioxide Objeto e' o resultado de Processo Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 3588-3593	Objeto e' uma instancia de Vodka Objeto Objeto e' uma instancia de DrinkingWater Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 862-869	Objeto e' uma instancia de FrenchPressingCoffee Processo Processo e' uma instancia de DrinkingWater Objeto e' um recurso para Processo a medida de Processo e' 90 CelsiusDegree(s)

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