DrinkingWater - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DrinkingWater

DrinkingWater(potable water)

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	Potable water is an ingredient in americano
(roomTempState DrinkingWater Liquid)	Mid-level-ontology.kif 31904-31904	roomTempState potable water and liquid
(subclass DrinkingWater FreshWater)	Geography.kif 2810-2810	Potable water is a subclass of freshwater
(subclass DrinkingWater PreparedFood)	Food.kif 218-218	Potable water is a subclass of prepared food

appearance as argument number 2

(names "potable water" DrinkingWater)	Food.kif 219-219	Potable water has name "potable water"
(relatedInternalConcept PurifiedWater DrinkingWater)	Food.kif 238-238	Purified water is internally related to potable water
(relatedInternalConcept TapWater DrinkingWater)	Food.kif 269-269	Tap water is internally related to potable water
(subclass SparklingWater DrinkingWater)	Food.kif 221-221	Sparkling water is a subclass of potable water
(termFormat ChineseLanguage DrinkingWater "饮用水")	domainEnglishFormat.kif 46894-46894	Sparkling water is a subclass of potable water
(termFormat ChineseTraditionalLanguage DrinkingWater "飲用水")	domainEnglishFormat.kif 46893-46893	Sparkling water is a subclass of potable water
(termFormat EnglishLanguage DrinkingWater "potable water")	domainEnglishFormat.kif 46892-46892	Sparkling water is a subclass of potable water

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	If an object is an instance of americano and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of potable water and the measure of the other substance is 90.0 celsius degree(s) and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance, then the approximate value of the real number is 0.03 and the approximate value of the other real number is 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	If an object is an instance of long black and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of potable water and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance, then the approximate value of the real number is 0.06 and the approximate value of the other real number is 0.12
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water, then the kind of object is equal to soup stock
(=> (subclass ?W DrinkingWater) (subclass ?W (FoodForFn Human)))	Geography.kif 2815-2818	If a class is a subclass of potable water, then the class is a subclass of food for human

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	If a process is an instance of dry roasting and an entity is an instance of food and the entity is a patient of the process, then there exist another entity and a third entity such that the other entity is an instance of heating and the third entity is an instance of stirring and the other entity is a subprocess of the process and the third entity is a subprocess of the process and the time of existence of the third entity takes place during the time of existence of the other entity and the entity is a patient of the other entity and the entity is a patient of the third entity and there don't exist a fourth entity and a fifth entity such that the fourth entity is an instance of oil and the fifth entity is an instance of potable water and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process
(=> (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	If an entity is an instance of americano, then there exist a process, a physical and another entity such that the process is an instance of pouring and the physical is a patient of the process and the physical is an instance of potable water and the measure of the physical is 90 celsius degree(s) and the process ends up at the other entity and the other entity is an instance of espresso and the entity is a result of the process
(=> (instance ?C Coffee) (material DrinkingWater ?C))	Food.kif 641-643	If a corpuscular object is an instance of coffee, then the corpuscular object is made of potable water
(=> (instance ?C ColdBrewingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?C ?W) (measure ?W (MeasureFn 20 CelsiusDegree)))))	Food.kif 844-851	If a process is an instance of cold brew coffee, then there exists an object such that the object is an instance of potable water and the object is a resource for the process and the measure of the object is 20 celsius degree(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	If a process is an instance of coffee making, then there exist another process, an entity and another entity such that the other process is a subprocess of the process and the other process is an instance of liquid motion and the entity is a patient of the other process and the entity is an instance of potable water and the other process ends up at the other entity and the other entity is an instance of coffee grind
(=> (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	If a process is an instance of coffee making, then there exist another process, an object,, , another object,, , a third object,, , a fourth object and an entity such that the other process is a subprocess of the process and the other process is an instance of removing and the other process originates at the object and the object is an instance of liquid mixture and the third object is a part of the object and the third object is an instance of potable water and the other object is a part of the object and the other object is an instance of coffee grind and the fourth object is an instrument for the other process and the fourth object is an instance of filter and the entity is a result of the other process and the entity is an instance of 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	If a process is an instance of coffee making, then there exist another process, an object and an entity such that the other process is a subprocess of the process and the other process is an instance of soaking and the object is a resource for the other process and the object is an instance of potable water and the entity is a patient of the other process and the entity is an instance of coffee grind
(=> (instance ?D Dough) (exists (?F ?W) (and (instance ?F Flour) (instance ?W DrinkingWater) (part ?F ?D) (part ?W ?D))))	Food.kif 1609-1616	If an object is an instance of dough, then there exist another object and a third object such that the other object is an instance of flour and the third object is an instance of potable water and the other object is a part of the object and the third object is a part of the object
(=> (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	If an object is an instance of espresso, then there exist another object and a real number such that the other object is an instance of potable water and the other object is a part of the object and the measure of the other object is the real number liter(s) and the approximate value of the real number is 0.03
(=> (instance ?L LongBlack) (and (material Espresso ?L) (material DrinkingWater ?L)))	Food.kif 1423-1427	If a corpuscular object is an instance of long black, then the corpuscular object is made of espresso and the corpuscular object is made of potable water
(=> (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	If an entity is an instance of long black, then there exist a process, an object and another entity such that the process is an instance of pouring and the object is a patient of the process and the object is an instance of potable water and hot is an attribute of the object and the process ends up at the other entity and the other entity is an instance of espresso and the entity is a result of the process
(=> (instance ?S Sorbet) (material DrinkingWater ?S))	Food.kif 3444-3446	If a corpuscular object is an instance of sorbet, then the corpuscular object is made of potable water
(=> (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	If an object is an instance of sparkling water, then there exist a process, an entity and another object such that the process is an instance of putting and the entity is an instance of potable water and the process ends up at the other object and the other object is an instance of carbon dioxide and the object is a result of the process and the other object is a part of the object
(=> (instance ?V Vodka) (exists (?W) (and (instance ?W DrinkingWater) (part ?W ?V))))	Food.kif 3588-3593	If an object is an instance of vodka, then there exists another object such that the other object is an instance of potable water and the other object is a part of the object
(=> (instance ?X FrenchPressingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?W ?X) (measure ?W (MeasureFn 90 CelsiusDegree)))))	Food.kif 862-869	If an object is an instance of French press coffee, then there exists a process such that the process is an instance of potable water and the object is a resource for the process and the measure of the process is 90 celsius degree(s)

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