Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cappuccino
Cappuccino(cappuccino)cappuccino, cappuccino_coffee, coffee_cappuccino

appearance as argument number 1
-------------------------


(documentation Cappuccino EnglishLanguage "Cappucinno 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 milk foam on the top is 20mm in thickness. [Wikipedia]") Food.kif 1265-1267
(documentation Cappuccino EnglishLanguage "FoamingMilk is the Process of making MilkFoam in which the ProcessedMilk is aerated then the Bubbles are then stirred to mix with the milk while it is being heated to 70C.[Wikipedia]") Food.kif 1176-1178
(subclass Cappuccino Coffee) Food.kif 1264-1264 Cappuccino is a subclass of coffee

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Cappuccino "cappuccino") domainEnglishFormat.kif 64592-64592

antecedent
-------------------------


(=>
    (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 1285-1301
(=>
    (instance ?C Cappuccino)
    (and
        (material MilkFoam ?C)
        (material Espresso ?C)))
Food.kif 1279-1283
(=>
    (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 1269-1278


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