(=>
(multiplicativeFactor ?N1 ?N2)
(exists (?I)
(and
(instance ?I Integer)
(equal ?N2
(MultiplicationFn ?N1 ?I))))) |
Merge.kif 4899-4904 |
|
(=>
(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}
|
(=>
(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}
|