Espresso - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Espresso

Espresso(espresso)

appearance as argument number 1

(documentation Espresso EnglishLanguage "An Espresso is the result of EspressoMaking. A single shot of espresso usually contains approximately 25-30 ml of DrinkingWater. DarkRoast CoffeeBeans are usually used for making espresso coffee. Espresso is served on its own, and is also used as the base for various other coffee drinks, including caffè latte, cappuccino, caffè macchiato, caffè mocha, flat white, and caffè Americano.[Wikipedia]")	Food.kif 740-744
(ingredient Espresso Americano)	Food.kif 1308-1308	Espresso is an ingredient in americano
(roomTempState Espresso Liquid)	Mid-level-ontology.kif 33150-33150	room temperature state espresso and liquid
(subclass Espresso Coffee)	Food.kif 739-739	Espresso is a subclass of coffee

appearance as argument number 2

(termFormat EnglishLanguage Espresso "espresso")

domainEnglishFormat.kif 64851-64851

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 1322-1333	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 ?C Cappuccino) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (instance ?B Bubble) (top ?B ?M) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (approximateValue ?L 20.0)))	Food.kif 1286-1302	If an object is an instance of cappuccino 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 milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is an instance of bubble and the top of the other substance is the self connected object and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the approximate value of the third real number is 20.0
(=> (and (instance ?C FlatWhite) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (part ?B ?E) (top ?B ?M) (instance ?B Bubble) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (greaterThanOrEqualTo ?L 1.0) (lessThanOrEqualTo ?L 20.0)))	Food.kif 1368-1386	If an object is an instance of flat white 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 milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is a part of the substance and the top of the other substance is the self connected object and the self connected object is an instance of bubble and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the third real number is greater than or equal to 1.0 and the third real number is less than or equal to 20.0
(=> (and (instance ?C Latte) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (instance ?B Bubble) (top ?B ?M) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.21) (approximateValue ?L 12.0)))	Food.kif 1400-1416	If an object is an instance of latte 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 milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is an instance of bubble and the top of the other substance is the self connected object and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.21 and the approximate value of the third real number is 12.0
(=> (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 1441-1451	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
(=> (instance ?E Espresso) (exists (?M) (and (instance ?M EspressoMaking) (result ?M ?E))))	Food.kif 747-752	If an entity is an instance of espresso, then there exists a process such that the process is an instance of espresso making and the entity is a result of the process
(=> (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

consequent

(=> (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 1311-1321	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 Cappuccino) (and (material MilkFoam ?C) (material Espresso ?C)))	Food.kif 1280-1284	If a corpuscular object is an instance of cappuccino, then the corpuscular object is made of milk foam and the corpuscular object is made of espresso
(=> (instance ?C Cappuccino) (exists (?E ?M ?P) (and (instance ?E Espresso) (instance ?M MilkFoam) (instance ?P Pouring) (patient ?P ?M) (destination ?P ?E) (result ?P ?C))))	Food.kif 1270-1279	If an entity is an instance of cappuccino, then there exist another entity, a third entity and a process such that the other entity is an instance of espresso and the third entity is an instance of milk foam and the process is an instance of pouring and the third entity is a patient of the process and the process ends up at the other entity and the entity is a result of the process
(=> (instance ?F FlatWhite) (and (material MilkFoam ?F) (material Espresso ?F)))	Food.kif 1344-1348	If a corpuscular object is an instance of flat white, then the corpuscular object is made of milk foam and the corpuscular object is made of espresso
(=> (instance ?F FlatWhite) (exists (?E ?M ?P) (and (instance ?E Espresso) (instance ?M MilkFoam) (instance ?P Pouring) (patient ?P ?M) (destination ?P ?E) (result ?P ?F))))	Food.kif 1350-1359	If an entity is an instance of flat white, then there exist another entity, a third entity and a process such that the other entity is an instance of espresso and the third entity is an instance of milk foam and the process is an instance of pouring and the third entity is a patient of the process and the process ends up at the other entity and the entity is a result of the process
(=> (instance ?L Latte) (and (material MilkFoam ?L) (material Espresso ?L)))	Food.kif 1394-1398	If a corpuscular object is an instance of latte, then the corpuscular object is made of milk foam and the corpuscular object is made of espresso
(=> (instance ?L LongBlack) (and (material Espresso ?L) (material DrinkingWater ?L)))	Food.kif 1424-1428	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 1430-1440	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 ?L Lungo) (exists (?E ?V) (and (instance ?E Espresso) (part ?E ?L) (measure ?E (MeasureFn ?V Liter)) (instance ?V RealNumber) (measure ?L (MeasureFn (MultiplicationFn ?V 2) Liter)))))	Food.kif 770-781	If an object is an instance of lungo, then there exist another object and a real number such that the other object is an instance of espresso 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 real number is an instance of real number and the measure of the object is the real number and 2 liter(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