(=>
(equal ?SPEED
(Mean10MinutesWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 10 MinuteDuration))
(equal 120
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 2223-2240 |
|
(=>
(equal ?SPEED
(Mean1MinuteWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 1 MinuteDuration))
(equal 12
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 2328-2345 |
|
(=>
(equal ?SPEED
(Mean2MinutesWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 2 MinuteDuration))
(equal 24
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 2293-2310 |
|
(=>
(equal ?SPEED
(Mean3MinutesWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 2 MinuteDuration))
(equal 36
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 2258-2275 |
|
(=>
(equal ?SPEEDLIST
(Mean3SecondWindSpeedListFn ?PLACE ?TIME))
(duration ?TIME
(MeasureFn 2 MinuteDuration))) |
Weather.kif 2019-2023 |
|
(=>
(instance ?AT AutomobileTransmission)
(hasPurpose ?AT
(exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
(and
(instance ?C Crankshaft)
(instance ?D Driveshaft)
(instance ?A Automobile)
(part ?D ?A)
(part ?AT ?A)
(part ?C ?A)
(connectedEngineeringComponents ?C ?AT)
(connectedEngineeringComponents ?D ?AT)
(instance ?R1 Rotating)
(instance ?R2 Rotating)
(instance ?R3 Rotating)
(instance ?R4 Rotating)
(patient ?R1 ?C)
(patient ?R2 ?C)
(patient ?R3 ?D)
(patient ?R4 ?D)
(causes ?R1 ?R3)
(causes ?R2 ?R4)
(not
(equal ?R1 ?R2))
(holdsDuring ?R1
(measure ?C
(RotationFn ?N1 MinuteDuration)))
(holdsDuring ?R2
(measure ?C
(RotationFn ?N1 MinuteDuration)))
(holdsDuring ?R3
(measure ?D
(RotationFn ?N2 MinuteDuration)))
(holdsDuring ?R4
(measure ?D
(RotationFn ?N3 MinuteDuration)))
(not
(equal ?N2 ?N3)))))) |
Cars.kif 2346-2380 |
- Wenn Physical ist ein fall von AutomobileTransmission %n{nicht},
- dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Crankshaft %n{nicht} und ** ** entity ist ein fall von Driveshaft %n{nicht} und ** ** entity ist ein fall von Automobile %n{nicht} und ** ** entity ist ein teil von ** ** entity %n{nicht} und ** Physical ist ein teil von ** ** entity %n{nicht} und ** entity ist ein teil von ** ** entity %n{nicht} und ** entity wird mit ** Physical angeschlossen und ** ** entity wird mit ** Physical angeschlossen und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity verursacht ** ** entity %n{nicht} und ** ** entity verursacht ** ** entity %n{nicht} und ** ** entity ist gleich ** ** entity nicht und das mass von ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und ** ** entity ist gleich ** ** entity nicht %n{nicht}
|
(=>
(instance ?IV IVBolusTherapy)
(and
(duration
(WhenFn ?IV)
(MeasureFn ?N MinuteDuration))
(lessThan ?N 5.0))) |
Medicine.kif 6162-6168 |
|
(=>
(instance ?MINUTE Minute)
(duration ?MINUTE
(MeasureFn 1 MinuteDuration))) |
Merge.kif 9356-9358 |
|