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

(documentation DrinkingWater EnglishLanguage "DrinkingWater is the subclass of Water that is safe to be consumed by Human.")	Geography.kif 2812-2813
(externalImage DrinkingWater "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Drinking_water.jpg")	pictureList.kif 2319-2319
(ingredient DrinkingWater Americano)	Food.kif 1308-1308	ingredient DrinkingWater and Americano
(roomTempState DrinkingWater Liquid)	Mid-level-ontology.kif 31639-31639	roomTempState DrinkingWater and Liquid
(subclass DrinkingWater FreshWater)	Geography.kif 2810-2810	DrinkingWater e' uma sub-classe de FreshWater
(subclass DrinkingWater PreparedFood)	Food.kif 218-218	DrinkingWater e' uma sub-classe de PreparedFood

appearance as argument number 2

(names "potable water" DrinkingWater)	Food.kif 219-219	DrinkingWater se chama nome "potable water"
(relatedInternalConcept PurifiedWater DrinkingWater)	Food.kif 238-238	PurifiedWater e' relacionado internamente por SUMO a DrinkingWater
(relatedInternalConcept TapWater DrinkingWater)	Food.kif 269-269	TapWater e' relacionado internamente por SUMO a DrinkingWater
(subclass SparklingWater DrinkingWater)	Food.kif 221-221	SparklingWater e' uma sub-classe de DrinkingWater
(termFormat ChineseLanguage DrinkingWater "饮用水")	domainEnglishFormat.kif 46856-46856
(termFormat ChineseTraditionalLanguage DrinkingWater "飲用水")	domainEnglishFormat.kif 46855-46855
(termFormat EnglishLanguage DrinkingWater "potable water")	domainEnglishFormat.kif 46854-46854

antecedent

(=> (and (instance ?A Americano) (part ?E ?A) (part ?W ?A) (instance ?E Espresso) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90.0 CelsiusDegree)) (mixtureRatio ?E ?W ?V1 ?V2 Liter)) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15)))	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
(=> (and (instance ?L LongBlack) (part ?E ?L) (part ?W ?L) (instance ?E Espresso) (instance ?W DrinkingWater) (mixtureRatio ?E ?W ?V1 ?V2 Liter)) (and (approximateValue ?V1 0.06) (approximateValue ?V2 0.12)))	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
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	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
(=> (subclass ?W DrinkingWater) (subclass ?W (FoodForFn Human)))	Geography.kif 2815-2818	Classe e' uma sub-classe de DrinkingWater Classe e' uma sub-classe de FoodForFn Humano

consequent

(=> (and (instance ?X DryRoasting) (instance ?F Food) (patient ?X ?F)) (holdsDuring ?X (exists (?H ?S) (and (instance ?H Heating) (instance ?S Stirring) (subProcess ?H ?X) (subProcess ?S ?X) (during (WhenFn ?S) (WhenFn ?H)) (patient ?H ?F) (patient ?S ?F) (not (exists (?O ?W) (and (instance ?O Oil) (instance ?W DrinkingWater) (patient ?X ?O) (patient ?X ?W))))))))	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
(=> (instance ?A Americano) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90 CelsiusDegree)) (destination ?P ?E) (instance ?E Espresso) (result ?P ?A))))	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
(=> (instance ?C Coffee) (material DrinkingWater ?C))	Food.kif 641-643	Objeto Corpuscular e' uma instancia de Coffee DrinkingWater e' feito de Objeto Corpuscular
(=> (instance ?C ColdBrewingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?C ?W) (measure ?W (MeasureFn 20 CelsiusDegree)))))	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)
(=> (instance ?CM CoffeeMaking) (exists (?LM ?W ?CG) (and (subProcess ?LM ?CM) (instance ?LM LiquidMotion) (patient ?LM ?W) (instance ?W DrinkingWater) (destination ?LM ?CG) (instance ?CG CoffeeGrind))))	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
(=> (instance ?CM CoffeeMaking) (exists (?R ?LM ?CG ?W ?F ?C) (and (subProcess ?R ?CM) (instance ?R Removing) (origin ?R ?LM) (instance ?LM LiquidMixture) (part ?W ?LM) (instance ?W DrinkingWater) (part ?CG ?LM) (instance ?CG CoffeeGrind) (instrument ?R ?F) (instance ?F Filter) (result ?R ?C) (instance ?C Coffee))))	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
(=> (instance ?CM CoffeeMaking) (exists (?S ?W ?CG) (and (subProcess ?S ?CM) (instance ?S Soaking) (resource ?S ?W) (instance ?W DrinkingWater) (patient ?S ?CG) (instance ?CG CoffeeGrind))))	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
(=> (instance ?D Dough) (exists (?F ?W) (and (instance ?F Flour) (instance ?W DrinkingWater) (part ?F ?D) (part ?W ?D))))	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
(=> (instance ?E Espresso) (exists (?W ?V) (and (instance ?W DrinkingWater) (part ?W ?E) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03))))	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
(=> (instance ?L LongBlack) (and (material Espresso ?L) (material DrinkingWater ?L)))	Food.kif 1423-1427	Objeto Corpuscular e' uma instancia de LongBlack Espresso e' feito de Objeto Corpuscular DrinkingWater e' feito de Objeto Corpuscular
(=> (instance ?L LongBlack) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (attribute ?W HotTemperature) (destination ?P ?E) (instance ?E Espresso) (result ?P ?L))))	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
(=> (instance ?S Sorbet) (material DrinkingWater ?S))	Food.kif 3444-3446	Objeto Corpuscular e' uma instancia de Sorbet DrinkingWater e' feito de Objeto Corpuscular
(=> (instance ?S SparklingWater) (exists (?P ?W ?CD) (and (instance ?P Putting) (instance ?W DrinkingWater) (destination ?P ?CD) (instance ?CD CarbonDioxide) (result ?P ?S) (part ?CD ?S))))	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
(=> (instance ?V Vodka) (exists (?W) (and (instance ?W DrinkingWater) (part ?W ?V))))	Food.kif 3588-3593	Objeto e' uma instancia de Vodka Objeto Objeto e' uma instancia de DrinkingWater Objeto e' uma &parte de Objeto
(=> (instance ?X FrenchPressingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?W ?X) (measure ?W (MeasureFn 90 CelsiusDegree)))))	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