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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mixtureRatio

 Sigma KEE - mixtureRatio
mixtureRatio

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


(documentation mixtureRatio EnglishLanguage "mixtureRatio is a QuintaryRelation which specifies how many Liter of two Liquid Substances in a LiquidMixture.") Food.kif 1238-1239
(domain mixtureRatio 1 Substance) Food.kif 1241-1241 Le nombre 1 argument de mixtureRatio est une instance de substance
(domain mixtureRatio 2 Substance) Food.kif 1242-1242 Le nombre 2 argument de mixtureRatio est une instance de substance
(domain mixtureRatio 3 RealNumber) Food.kif 1243-1243 Le nombre 3 argument de mixtureRatio est une instance de nombre r�el
(domain mixtureRatio 4 RealNumber) Food.kif 1244-1244 Le nombre 4 argument de mixtureRatio est une instance de nombre r�el
(domain mixtureRatio 5 UnitOfMeasure) Food.kif 1245-1245 Le nombre 5 argument de mixtureRatio est une instance de unit� de mesure
(instance mixtureRatio QuintaryRelation) Food.kif 1237-1237 mixtureRatio est une instance de relation quinternaire

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


(format EnglishLanguage mixtureRatio "A Mixture containing %3 unit %5 of %1 and %4 unit %5 of %2") Food.kif 1246-1246
(termFormat EnglishLanguage mixtureRatio "mixture ratio") Food.kif 1240-1240

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 1321-1332
(=>
    (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
(=>
    (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 1440-1450
(=>
    (and
        (instance ?M Mixture)
        (instance ?Z UnitOfMeasure)
        (mixtureRatio ?A ?B ?X ?Y ?Z)
        (measure ?M
            (MeasureFn ?T ?Z))
        (part ?A ?M)
        (part ?B ?M)
        (measure ?A
            (MeasureFn ?X ?Z))
        (measure ?B
            (MeasureFn ?Y ?Z)))
    (equal ?T
        (AdditionFn ?X ?Y)))		 Food.kif 1248-1262


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