antecedent

(=>     (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 1227-1241	If All of the following hold: (1) X is an instance of mixture (2) Y is an instance of unit of measure (3) A Mixture containing Z unit Y of W and V unit Y of U (4) the measure of X is T Y(s) (5) W is a part of X (6) U is a part of X (7) the measure of W is Z Y(s) (8) the measure of U is V Y(s), then equal T and (Z and V)
(=>     (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

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