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

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	Potable water is an ingredient in americano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31639-31639	roomTempState potable water and liquid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2810-2810	Potable water is a subclass of freshwater
No TPTP formula. May not be expressible in strict first order.	Food.kif 218-218	Potable water is a subclass of prepared food

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 219-219	Potable water has name "potable water"
No TPTP formula. May not be expressible in strict first order.	Food.kif 238-238	Purified water is internally related to potable water
No TPTP formula. May not be expressible in strict first order.	Food.kif 269-269	Tap water is internally related to potable water
No TPTP formula. May not be expressible in strict first order.	Food.kif 221-221	Sparkling water is a subclass of potable water
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	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	If a class is a subclass of potable water, then the class is a subclass of food for human

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 641-643	If a corpuscular object is an instance of coffee, then the corpuscular object is made of potable water
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 3444-3446	If a corpuscular object is an instance of sorbet, then the corpuscular object is made of potable water
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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