(=>
(and
(instance ?B Object)
(roastedToTemperature ?B ?T))
(exists (?H)
(and
(instance ?H Heating)
(patient ?H ?B)
(holdsDuring
(EndFn
(WhenFn ?H))
(measure ?B
(MeasureFn ?T CelsiusDegree)))))) |
Food.kif 468-478 |
|
(=>
(climateTypeInArea ?AREA ColdClimateZone)
(exists (?MO ?AMOUNT)
(and
(instance ?MO Month)
(temporalPart ?MO WinterSeason)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT CelsiusDegree))
(lessThan ?AMOUNT -3.0)))) |
Geography.kif 1533-1541 |
|
(=>
(climateTypeInArea ?AREA PolarClimateZone)
(exists (?MO ?TEMP)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree))
(greaterThan 10.0 ?TEMP)))) |
Geography.kif 1566-1573 |
|
(=>
(climateTypeInArea ?AREA SubtropicalDesertClimateZone)
(exists (?MO ?TEMP)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree))
(greaterThan ?TEMP 18.0)))) |
Geography.kif 1379-1386 |
|
(=>
(climateTypeInArea ?AREA TemperateClimateZone)
(exists (?MO ?AMOUNT)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT CelsiusDegree))
(greaterThan ?AMOUNT 10.0)))) |
Geography.kif 1409-1416 |
|
(=>
(climateTypeInArea ?AREA TemperateClimateZone)
(exists (?MO ?AMOUNT)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT CelsiusDegree))
(greaterThanOrEqualTo ?AMOUNT -3.0)
(lessThanOrEqualTo ?AMOUNT 18.0)
(not
(exists (?M2 ?MT2)
(and
(instance ?M2 Month)
(averageTemperatureForPeriod ?AREA ?M2
(MeasureFn ?MT2 CelsiusDegree))
(lessThan ?MT2 ?AMOUNT))))))) |
Geography.kif 1428-1443 |
|
(=>
(climateTypeInArea ?AREA TropicalClimateZone)
(exists (?MO ?TEMP)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree))
(greaterThan ?TEMP 18.0)
(not
(exists (?M2 ?MT2)
(and
(averageTemperatureForPeriod ?AREA ?M2
(MeasureFn ?MT2 CelsiusDegree))
(lessThan ?MT2 ?TEMP))))))) |
Geography.kif 1285-1298 |
|
(=>
(instance ?A Americano)
(exists (?P ?W ?E)
(and
(instance ?P Pouring)
(patient ?P ?W)
(instance ?W DrinkingWater)
(measure ?W
(MeasureFn 90 CelsiusDegree))
(destination ?P ?E)
(instance ?E Espresso)
(result ?P ?A)))) |
Food.kif 1310-1320 |
|
(=>
(instance ?C ColdBrewingCoffee)
(exists (?W)
(and
(instance ?W DrinkingWater)
(resource ?C ?W)
(measure ?W
(MeasureFn 20 CelsiusDegree))))) |
Food.kif 844-851 |
|
(=>
(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 Collection)
(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 799-834 |
- Wenn TimePosition ist ein fall von EspressoMaking %n{nicht},
- dann es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Heating %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und das mass von ** ** entity ist ** ** entity Liter(s) %n{nicht} und approximateValue ** ** entity and 0.03 und das mass von ** ** entity ist ** ** entity CelsiusDegree(s) %n{nicht} und approximateValue ** ** entity and 90 haelt waehrend das ende von die zeit des Bestehens von ** entity %n{nicht} und ** ** entity ist ein fall von LiquidMotion %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und das mass von ** ** entity ist ** ** entity 1 tausend Pascal(s) %n{nicht} und approximateValue ** ** entity and 900 haelt waehrend ** ** entity %n{nicht} und ** ** entity endet an ** ** entity %n{nicht} und ** ** entity ist ein fall von Collection %n{nicht} und das mass von ** ** entity ist ** ** entity Gram(s) %n{nicht} und approximateValue ** ** entity and 7.5 und ** ** entity ist ein Mitglied von ** ** entity %n{nicht} und ** ** entity ist ein fall von CoffeeGrind %n{nicht} und FineGrind ist ein attribut von ** ** entity %n{nicht} und ** ** entity befindet sich an %n{nicht} und ** ** entity ist ein fall von Filter %n{nicht} und ** ** entity ist ein fall von Removing %n{nicht} und ** ** entity ist ein instrument fuer ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und das ende von die zeit des Bestehens von ** ** entity ist zwischen das ende von die zeit des Bestehens von ** entity und das ende von die zeit des Bestehens von ** ** entity haelt waehrend ** TimePosition %n{nicht}
|
(=>
(instance ?M MilkFoam)
(measure ?M
(MeasureFn 70 CelsiusDegree))) |
Food.kif 1233-1235 |
|
(=>
(instance ?X FrenchPressingCoffee)
(exists (?W)
(and
(instance ?W DrinkingWater)
(resource ?W ?X)
(measure ?W
(MeasureFn 90 CelsiusDegree))))) |
Food.kif 862-869 |
|