(=>
(snowfallIntensity ?AREA ?TIME ?RATE)
(exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
(and
(instance ?PROCESS Snowing)
(eventLocated ?PROCESS ?AREA)
(during
(WhenFn ?PROCESS) ?TIME)
(instance ?STUFF Snow)
(objectTransferred ?PROCESS ?STUFF)
(instance ?BOARD BoardOrBlock)
(bottom ?BOTTOM ?BOARD)
(attribute ?BOTTOM Flat)
(located ?BOARD ?AREA)
(holdsDuring
(BeginFn ?TIME)
(not
(exists (?X)
(and
(instance ?X Object)
(located ?X ?BOARD)))))
(holdsDuring
(EndFn ?TIME)
(and
(located ?STUFF ?BOARD)
(top ?TOP ?STUFF)
(depth ?TOP ?BOTTOM ?SNOWFALL)
(equal ?SNOWFALL
(MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 3035-3062 |
- Wenn snowfallIntensity GeographicArea, TimeInterval and FunctionQuantity,
- dann es gibt Transfer, Object,, , SelfConnectedObject,, , entity,, , ** SelfConnectedObject, and und ** entity um ** Transfer ist ein fall von Snowing %n{nicht} und eventLocated ** Transfer and ** GeographicArea und die zeit des Bestehens von ** Transfer geschieht waehrend ** TimeInterval %n{nicht} und ** Object ist ein fall von Snow %n{nicht} und objectTransferred ** Transfer and ** Object und ** SelfConnectedObject ist ein fall von BoardOrBlock %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 es gibt nicht ** entity um ** ** entity ist ein fall von Object %n{nicht} und ** ** entity befindet sich an %n{nicht} haelt waehrend der anfang von ** TimeInterval %n{nicht} und ** Object befindet sich an %n{nicht} und die oberseite von ** Object ist ** entity und depth ** entity, ** ** SelfConnectedObject and ** ** entity und ** ** entity ist gleich ** TimeInterval und ** FunctionQuantity %n{nicht} haelt waehrend das ende von ** TimeInterval %n{nicht}
|