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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProfundaFemorisGlutealArtery
  MilkFoam

 Sigma KEE - MilkFoam
MilkFoam

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


(documentation MilkFoam EnglishLanguage "MilkFoam is produced by Aerating Milk, then stirred to mix with the milk while it is heated to 70C. MilkFoam is used for making Capuccino and Latte. [Wikipedia]") Food.kif 1228-1230
(subclass MilkFoam ProcessedMilk) Food.kif 1227-1227 MilkFoam est une sous-classe de ProcessedMilk

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


(termFormat EnglishLanguage MilkFoam "milk foam") Food.kif 1231-1231

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
(=>
    (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
(=>
    (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
(=>
    (instance ?M MilkFoam)
    (measure ?M
        (MeasureFn 70 CelsiusDegree)))		 Food.kif 1233-1235

consequent
-------------------------


(=>
    (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
(=>
    (instance ?F FlatWhite)
    (and
        (material MilkFoam ?F)
        (material Espresso ?F)))		 Food.kif 1343-1347
(=>
    (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
(=>
    (instance ?FM FoamingMilk)
    (exists (?M ?MF)
        (and
            (instance ?M ProcessedMilk)
            (instance ?MF MilkFoam)
            (patient ?FM ?M)
            (result ?FM ?MF))))		 Food.kif 1181-1188
(=>
    (instance ?L Latte)
    (and
        (material MilkFoam ?L)
        (material Espresso ?L)))		 Food.kif 1393-1397


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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