(=>
(and
(instance ?ET EustachianTube)
(part ?ET ?H)
(attribute ?H Healthy)
(length ?ET
(MeasureFn ?N Centimeter)))
(approximateValue ?N 35.0)) |
Anatomy.kif 1539-1546 |
If X is an instance of Eustachian tube, X is a part of Y, healthy is an attribute of Y, and the length of X is Z centimeter(s), then the approximate value of Z is 35.0 |
(=>
(and
(instance ?ET EustachianTube)
(part ?ET ?H)
(attribute ?H Healthy)
(diameter ?ET
(MeasureFn ?N Millimeter)))
(approximateValue ?N 3.0)) |
Anatomy.kif 1548-1555 |
If X is an instance of Eustachian tube, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 3.0 |
(=>
(and
(instance ?ET AuditoryCanal)
(part ?ET ?H)
(attribute ?H Healthy)
(length ?ET
(MeasureFn ?N Centimeter)))
(approximateValue ?N 2.5)) |
Anatomy.kif 1589-1596 |
If X is an instance of auditory canal, X is a part of Y, healthy is an attribute of Y, and the length of X is Z centimeter(s), then the approximate value of Z is 2.5 |
(=>
(and
(instance ?ET AuditoryCanal)
(part ?ET ?H)
(attribute ?H Healthy)
(diameter ?ET
(MeasureFn ?N Millimeter)))
(approximateValue ?N 0.7)) |
Anatomy.kif 1598-1605 |
If X is an instance of auditory canal, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 0.7 |
(=>
(and
(instance ?IC IgnitionCoil)
(instance ?P ElectricTransmission)
(resource ?P ?E1)
(instance ?E1 Electricity)
(instance ?E2 Electricity)
(result ?P ?E2)
(instrument ?P ?IC)
(measure ?E1
(MeasureFn ?N1 Volt)))
(approximateValue ?N1 12)) |
Cars.kif 3045-3055 |
If All of the following hold: (1) X is an instance of ignition coil (2) Y is an instance of electric transmission (3) Z is a resource for Y (4) Z is an instance of electricity (5) W is an instance of electricity (6) W is a result of Y (7) X is an instrument for Y (8) the measure of Z is V volt(s), then the approximate value of V is 12 |
(=>
(attribute ?M EquilibriumEconomics)
(exists (?S ?D)
(and
(instance ?M MarketEconomics)
(equal ?S
(SupplyFn ?M))
(equal ?D
(DemandFn ?M))
(approximateValue ?D ?S)))) |
Economy.kif 6867-6874 |
If equilibrium is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that X is an instance of market (3) equal Y (4) the supply of X on the market (5) equal Z (6) demand X (7) the approximate value of Z is Y |
(=>
(and
(instance ?B CoffeeBean)
(attribute ?B CinnamonRoast)
(roastedToTemperature ?B ?T))
(approximateValue ?T 196)) |
Food.kif 485-490 |
If X is an instance of coffee bean, cinnamon roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 196 |
(=>
(and
(instance ?B CoffeeBean)
(attribute ?B NewEnglandRoast)
(roastedToTemperature ?B ?T))
(approximateValue ?T 205)) |
Food.kif 497-502 |
If X is an instance of coffee bean, New England roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 205 |
(=>
(and
(instance ?B CoffeeBean)
(attribute ?B AmericanRoast)
(roastedToTemperature ?B ?T))
(approximateValue ?T 210)) |
Food.kif 523-528 |
If X is an instance of coffee bean, American roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 210 |
(=>
(and
(instance ?B CoffeeBean)
(attribute ?B CityRoast)
(roastedToTemperature ?B ?T))
(approximateValue ?T 219)) |
Food.kif 535-540 |
If X is an instance of coffee bean, city roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 219 |
(=>
(and
(instance ?B CoffeeBean)
(attribute ?B FullyCityRoast)
(roastedToTemperature ?B ?T))
(approximateValue ?T 225)) |
Food.kif 561-566 |
If X is an instance of coffee bean, full city roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 225 |
(=>
(and
(instance ?B CoffeeBean)
(attribute ?B ViennaRoast)
(roastedToTemperature ?B ?T))
(approximateValue ?T 230)) |
Food.kif 573-578 |
If X is an instance of coffee bean, Vienna roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 230 |
(=>
(and
(instance ?B CoffeeBean)
(attribute ?B FrenchRoast)
(roastedToTemperature ?B ?T))
(approximateValue ?T 240)) |
Food.kif 585-590 |
If X is an instance of coffee bean, French roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 240 |
(=>
(and
(instance ?B CoffeeBean)
(attribute ?B ItalianRoast)
(roastedToTemperature ?B ?T))
(approximateValue ?T 245)) |
Food.kif 597-602 |
If X is an instance of coffee bean, Italian roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 245 |
(=>
(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 ?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 ?FM FoamingMilk)
(patient ?FM ?M)
(instance ?M ProcessedMilk)
(instance ?H Heating)
(subProcess ?H ?FM)
(measure ?M
(MeasureFn ?T CelsiusDegree)))
(approximateValue ?T 70.0)) |
Food.kif 1185-1194 |
If All of the following hold: (1) X is an instance of foaming milk (2) Y is a patient of X (3) Y is an instance of processed milk (4) Z is an instance of heating (5) Z is a subprocess of X (6) the measure of Y is W celsius degree(s), then the approximate value of W is 70.0 |
(=>
(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 ?L CocoaLiquor)
(weight ?L
(MeasureFn 100.0 Gram))
(instance ?S CocoaSolid)
(part ?S ?L)
(weight ?S
(MeasureFn ?X Gram))
(instance ?B CocoaButter)
(part ?B ?L)
(weight ?B
(MeasureFn ?Y Gram)))
(and
(approximateValue ?X 50.0)
(approximateValue ?Y 50.0))) |
Food.kif 2485-2500 |
If All of the following hold: (1) X is an instance of cocoa liquor (2) 100.0 gram(s) is a weight of X (3) Y is an instance of cocoa solid (4) Y is a part of X (5) Z gram(s) is a weight of Y (6) W is an instance of cocoa butter (7) W is a part of X (8) V gram(s) is a weight of W, then the approximate value of Z is 50.0 and the approximate value of V is 50.0 |
(=>
(and
(instance ?C CurdlingMilk)
(instance ?M Milk)
(patient ?C ?M))
(exists (?PH ?D ?H ?L)
(and
(measure ?M
(MeasureFn ?PH PHValue))
(instance ?D Decreasing)
(subProcess ?D ?C)
(patient ?D ?PH)
(holdsDuring
(BeginFn
(WhenFn ?D))
(and
(equal ?PH ?H)
(approximateValue ?H 6.5)))
(holdsDuring
(EndFn
(WhenFn ?D))
(and
(equal ?PH ?L)
(approximateValue ?L 4.5)))))) |
Food.kif 3256-3279 |
If X is an instance of curdling milk, Y is an instance of milk, and Y is a patient of X, then there exist Z, W,, , V and U such that the measure of Y is Z PH value(s) and W is an instance of decreasing and W is a subprocess of X and Z is a patient of W and equal Z and V and the approximate value of V is 6.5 holds during the beginning of the time of existence of W and equal Z and U and the approximate value of U is 4.5 holds during the end of the time of existence of W |
(=>
(and
(instance ?A PointInSpace)
(instance ?B PointInSpace)
(located ?A RockyMountains)
(located ?B RockyMountains)
(orientation ?A ?B North)
(not
(exists (?A1 ?B1)
(and
(instance ?A1 PointInSpace)
(located ?A1 RockyMountains)
(orientation ?A1 ?A North)
(instance ?B1 PointInSpace)
(located ?B1 RockyMountains)
(orientation ?B1 ?B South))))
(distance ?A ?B
(MeasureFn ?X Mile)))
(approximateValue ?X 3000)) |
Geography.kif 377-395 |
If All of the following hold: (1) X is an instance of point in space (2) Y is an instance of point in space (3) X is located at Rocky Mountains (4) Y is located at Rocky Mountains (5) X is north of to Y (6) All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of point in space (3) Z is located at Rocky Mountains (4) Z is north of to X (5) W is an instance of point in space (6) W is located at Rocky Mountains (7) W is south of to Y (7) the distance between X and Y is V mile(s), then the approximate value of V is 3000 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
radius