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


KB Term:  Term intersection
English Word: 

Sigma KEE - Liter
Liter(liter)cubic_decimeter, cubic_decimetre, l, liter, litre

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


(instance Liter UnitOfVolume) Merge.kif 6888-6888 Liter is an instance of unit of volume
(documentation Liter EnglishLanguage "Unit of volume in the metric system. It is currently defined to be equal to one cubic decimeter (0.001 cubic meter). Symbol: l.") Merge.kif 6890-6892 Liter is an instance of unit of volume

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


(termFormat EnglishLanguage Liter "liter") domainEnglishFormat.kif 34705-34705
(termFormat ChineseTraditionalLanguage Liter "升") domainEnglishFormat.kif 34706-34706
(termFormat ChineseLanguage Liter "升") domainEnglishFormat.kif 34707-34707

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 1264-1280 If All of the following hold: (1) X is an instance of cappuccino (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of milk foam (6) A Mixture containing W unit liter of Y and V unit liter of Z (7) U is a part of Z (8) U is an instance of bubble (9) the top of Z is U (10) the measure of U is T millimeter(s), then the approximate value of W is 0.03, the approximate value of V is 0.15, and the approximate value of T is 20.0
(=>
    (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 1300-1311 If All of the following hold: (1) X is an instance of americano (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of potable water (6) the measure of Z is 90.0 celsius degree(s) (7) A Mixture containing W unit liter of Y and V unit liter of Z, then the approximate value of W is 0.03 and the approximate value of V is 0.15
(=>
    (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 1346-1364 If All of the following hold: (1) X is an instance of flat white (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of milk foam (6) A Mixture containing W unit liter of Y and V unit liter of Z (7) U is a part of Z (8) U is a part of Y (9) the top of Z is U (10) U is an instance of bubble (11) the measure of U is T millimeter(s), then the approximate value of W is 0.03, the approximate value of V is 0.15, T is greater than or equal to 1.0, and T is less than or equal to 20.0
(=>
    (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 1378-1394 If All of the following hold: (1) X is an instance of latte (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of milk foam (6) A Mixture containing W unit liter of Y and V unit liter of Z (7) U is a part of Z (8) U is an instance of bubble (9) the top of Z is U (10) the measure of U is T millimeter(s), then the approximate value of W is 0.03, the approximate value of V is 0.21, and the approximate value of T is 12.0
(=>
    (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 1419-1429 If All of the following hold: (1) X is an instance of long black (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of potable water (6) A Mixture containing W unit liter of Y and V unit liter of Z, then the approximate value of W is 0.06 and the approximate value of V is 0.12
(=>
    (and
        (instance ?SW SeaWater)
        (measure ?SW
            (MeasureFn 1.0 Liter))
        (part ?SALT ?SW)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (approximateValue ?R 35.0))		 Geography.kif 4268-4277 If X is an instance of sea water, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then the approximate value of Z is 35.0
(=>
    (and
        (instance ?SW BrackishWater)
        (measure ?SW
            (MeasureFn 1.0 Liter))
        (part ?SALT ?SW)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (and
        (greaterThan ?R 0.5)
        (lessThanOrEqualTo ?R 30.0)))		 Geography.kif 4287-4298 If X is an instance of brackish water, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then Z is greater than 0.5 and Z is less than or equal to 30.0
(=>
    (and
        (instance ?B Brine)
        (measure ?B
            (MeasureFn 1.0 Liter))
        (part ?SALT ?B)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (and
        (greaterThan ?R 35.0)
        (lessThanOrEqualTo ?R 260.0)))		 Geography.kif 4305-4316 If X is an instance of brine, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then Z is greater than 35.0 and Z is less than or equal to 260.0
(=>
    (and
        (attribute ?X Compact)
        (freshFoodCompartmentVolume ?X
            (MeasureFn ?VOLUME Liter))
        (instance ?X Refrigerator)
        (not
            (instance ?X Freezer)))
    (lessThanOrEqualTo ?VOLUME 219.45))		 HouseholdAppliances.kif 1396-1404 If compact is an attribute of X, fresh food compartment volume X and Y liter(s), X is an instance of refrigerator, and X is not an instance of freezer, then Y is less than or equal to 219.45
(=>
    (and
        (attribute ?X Compact)
        (frozenFoodCompartmentVolume ?X
            (MeasureFn ?VOLUME Liter))
        (instance ?X Freezer)
        (not
            (instance ?X Refrigerator)))
    (lessThanOrEqualTo ?VOLUME 219.45))		 HouseholdAppliances.kif 1408-1416 If compact is an attribute of X, frozen food compartment volume X and Y liter(s), X is an instance of freezer, and X is not an instance of refrigerator, then Y is less than or equal to 219.45
(=>
    (and
        (attribute ?X Compact)
        (freshFoodCompartmentVolume ?X
            (MeasureFn ?VOLUME1 Liter))
        (frozenFoodCompartmentVolume ?X
            (MeasureFn ?VOLUME2 Liter))
        (equal ?TOTAL
            (AdditionFn ?VOLUME1 ?VOLUME2))
        (instance ?X FridgeFreezer))
    (lessThanOrEqualTo ?TOTAL 219.45))		 HouseholdAppliances.kif 1422-1432 If compact is an attribute of X, fresh food compartment volume X and Y liter(s), frozen food compartment volume X and Z liter(s), equal W and (Y and Z), and X is an instance of fridge freezer, then W is less than or equal to 219.45
(=>
    (and
        (subclass ?X ClothesWashingMachine)
        (laundryApplianceMaximumClothesVolume ?X
            (MeasureFn ?VOL Liter))
        (waterConsumptionPerWashingCycle ?X
            (MeasureFn ?WATER UnitedStatesGallon)))
    (clothesWasherWaterFactor ?X
        (DivisionFn ?WATER
            (MultiplicationFn ?VOL 28.316846592))))		 HouseholdAppliances.kif 1519-1528 If X is a subclass of clothes washing machine, maximum clothes volume X and Y liter(s), and water use per one clothes washing cycle X and Z united states gallon(s), then clothes washer water factor X, Z, Y, and 28.316846592
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 13))		 Medicine.kif 156-171 If All of the following hold: (1) anaemia is an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) male is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is less than 13
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 12))		 Medicine.kif 173-188 If All of the following hold: (1) anaemia is an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) female is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is less than 12
(=>
    (and
        (not
            (attribute ?H Anemia))
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (greaterThan ?N 13))		 Medicine.kif 190-205 If All of the following hold: (1) anaemia is not an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) male is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is greater than 13
(=>
    (and
        (not
            (attribute ?H Anemia))
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (greaterThan ?N 12))		 Medicine.kif 207-222 If All of the following hold: (1) anaemia is not an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) female is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is greater than 12

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


(=>
    (instance ?E Espresso)
    (exists (?W ?V)
        (and
            (instance ?W DrinkingWater)
            (part ?W ?E)
            (measure ?W
                (MeasureFn ?V Liter))
            (approximateValue ?V 0.03))))		 Food.kif 731-739 If X is an instance of espresso, then there exist Y and Z such that Y is an instance of potable water and Y is a part of X and the measure of Y is Z liter(s) and the approximate value of Z is 0.03
(=>
    (instance ?L Lungo)
    (exists (?E ?V)
        (and
            (instance ?E Espresso)
            (part ?E ?L)
            (measure ?E
                (MeasureFn ?V Liter))
            (instance ?V RealNumber)
            (measure ?L
                (MeasureFn
                    (MultiplicationFn ?V 2) Liter)))))		 Food.kif 747-758 If X is an instance of lungo, then there exist Y and Z such that Y is an instance of espresso and Y is a part of X and the measure of Y is Z liter(s) and Z is an instance of real number and the measure of X is Z and 2 liter(s)
(=>
    (instance ?EM EspressoMaking)
    (holdsDuring ?EM
        (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
            (and
                (instance ?H Heating)
                (patient ?H ?W)
                (measure ?W
                    (MeasureFn ?V Liter))
                (approximateValue ?V 0.03)
                (holdsDuring
                    (EndFn
                        (WhenFn ?H))
                    (and
                        (measure ?W
                            (MeasureFn ?T CelsiusDegree))
                        (approximateValue ?T 90)))
                (instance ?LM LiquidMotion)
                (patient ?LM ?W)
                (holdsDuring ?LM
                    (and
                        (measure ?W
                            (MeasureFn ?P
                                (KiloFn Pascal)))
                        (approximateValue ?P 900)))
                (destination ?LM ?COLL)
                (instance ?COLL CollectionOfObjects)
                (measure ?COLL
                    (MeasureFn ?K Gram))
                (approximateValue ?K 7.5)
                (member ?COLL ?CG)
                (instance ?CG CoffeeGrind)
                (attribute ?CG FineGrind)
                (located ?COLL ?F)
                (instance ?F Filter)
                (instance ?R Removing)
                (instrument ?R ?F)
                (patient ?R ?COLL)
                (temporallyBetween
                    (EndFn
                        (WhenFn ?H))
                    (EndFn
                        (WhenFn ?LM))
                    (EndFn
                        (WhenFn ?R)))))))		 Food.kif 776-811 If X is an instance of espresso making, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R,, , Q,, , P and O such that Y is an instance of heating and Z is a patient of Y and the measure of Z is W liter(s) and the approximate value of W is 0.03 and the measure of Z is V celsius degree(s) and the approximate value of V is 90 holds during the end of the time of existence of Y and U is an instance of liquid motion and Z is a patient of U and the measure of Z is T 1 thousand pascals(s) and the approximate value of T is 900 holds during U and U ends up at S and S is an instance of collection and the measure of S is R gram(s) and the approximate value of R is 7.5 and S is a member of Q and Q is an instance of coffee grind and fine grind is an attribute of Q and S is located at P and P is an instance of filter and O is an instance of removing and P is an instrument for O and S is a patient of O and the end of the time of existence of U is between the end of the time of existence of Y and the end of the time of existence of O holds during X
(=>
    (and
        (instance ?H HumanAdult)
        (measure ?H
            (MeasureFn ?N PoundMass)))
    (and
        (bloodVolume ?H
            (MeasureFn ?N2 Liter))
        (equal ?N2
            (DivisionFn
                (MultiplicationFn ?N 0.07) 2.33))))		 Medicine.kif 5945-5954 If X is an instance of human adult and the measure of X is Y pound mass(s), then X has Z liter(s) of blood and equal Z, Y, 0.07, and 2.33