FlatWhite - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FlatWhite

FlatWhite(flat white)

appearance as argument number 1

(documentation FlatWhite EnglishLanguage "A FlatWhite is a variation of Milkfoam and Espresso Mixture. It is typically made with 1 shot of Espresso with 5 part of foamed milk, so a standard 30ml of espresso with 150ml of milk, giving a 180ml of capuucino.The thickness of milk foam on the top varies between 1 to 20 mm. The main difference betwen a flat white and a cappuccino is that the milkfoam in a flat white is wet foam and that the milkfoam is mixed with the crema of the espresso. [Wikipedia]")	Food.kif 1335-1340
(subclass FlatWhite Coffee)	Food.kif 1334-1334	Flat white is a subclass of coffee

appearance as argument number 2

(termFormat EnglishLanguage FlatWhite "flat white")

Food.kif 1341-1341

antecedent

(=> (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 1367-1385	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 ?F FlatWhite) (part ?B ?F) (instance ?B Bubble)) (attribute ?B Brown))	Food.kif 1360-1365	If an object is an instance of flat white and another object is a part of the object and the other object is an instance of bubble, then brown is an attribute of the other object
(=> (instance ?F FlatWhite) (and (material MilkFoam ?F) (material Espresso ?F)))	Food.kif 1343-1347	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 1349-1358	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

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