(=>
(rainfallIntensity ?AREA ?TIME ?RATE)
(exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(and
(instance ?RAIN Raining)
(eventLocated ?RAIN ?AREA)
(during
(WhenFn ?RAIN) ?TIME)
(instance ?CLTN Collection)
(objectTransferred ?RAIN ?CLTN)
(instance ?R Water)
(member ?R ?CLTN)
(instance ?BUCKET Container)
(bottom ?BOTTOM ?BUCKET)
(attribute ?BOTTOM Flat)
(located ?BUCKET ?AREA)
(holdsDuring
(BeginFn ?TIME)
(attribute ?BUCKET ContainerEmpty))
(holdsDuring
(EndFn ?TIME)
(and
(located ?CLTN ?BUCKET)
(top ?TOP ?CLTN)
(depth ?TOP ?BOTTOM ?RAINFALL)
(equal ?RAINFALL
(MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 2830-2855 |
- Wenn rainfallIntensity GeographicArea, TimeInterval and FunctionQuantity,
- dann es gibt Transfer, Collection,, , Physical,, , SelfConnectedObject,, , entity,, , ** SelfConnectedObject, and und ** TransferFALL um ** Transfer ist ein fall von Raining %n{nicht} und eventLocated ** Transfer and ** GeographicArea und die zeit des Bestehens von ** Transfer geschieht waehrend ** TimeInterval %n{nicht} und ** Collection ist ein fall von Collection %n{nicht} und objectTransferred ** Transfer and ** Collection und ** Physical ist ein fall von Water %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und ** SelfConnectedObject ist ein fall von Container %n{nicht} und die unterseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und Flat ist ein attribut von ** ** SelfConnectedObject %n{nicht} und ** SelfConnectedObject befindet sich an %n{nicht} und ContainerEmpty ist ein attribut von ** SelfConnectedObject %n{nicht} haelt waehrend der anfang von ** TimeInterval %n{nicht} und ** Collection befindet sich an %n{nicht} und die oberseite von ** Collection ist ** entity und depth ** entity, ** ** SelfConnectedObject and ** TransferFALL und ** TransferFALL ist gleich ** TimeInterval und ** FunctionQuantity %n{nicht} haelt waehrend das ende von ** TimeInterval %n{nicht}
|