Latte - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Latte

Latte(latte)

caffe_latte, latte

appearance as argument number 1

(documentation Latte EnglishLanguage "A Latte is typically made with 1 shot of Espresso with 7 part of foamed milk, so a standard 30ml of espresso with 210ml of milk, giving a 240ml of La.Thttee milk foam on the top is 12mm in thickness. [Wikipedia]")	Food.kif 1388-1390
(subclass Latte Coffee)	Food.kif 1387-1387	Latte is a subclass of coffee

appearance as argument number 2

(termFormat EnglishLanguage Latte "latte")

Food.kif 1391-1391

antecedent

(=> (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 1399-1415	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
(=> (instance ?L Latte) (and (material MilkFoam ?L) (material Espresso ?L)))	Food.kif 1393-1397	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

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