(=>
(instance ?X CurrencyExchangeService)
(exists (?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST ?M1 ?M2 ?NUM1 ?NUM2)
(and
(agent ?X ?CUST)
(not
(equal ?CURR1 ?CURR2))
(instance ?AMT1 CurrencyMeasure)
(instance ?AMT2 CurrencyMeasure)
(holdsDuring
(BeginFn
(WhenFn ?X))
(and
(monetaryValue ?M1 ?AMT1)
(possesses ?CUST ?M1)
(equal ?AMT1
(MeasureFn ?NUM1 ?CURR1))))
(holdsDuring
(EndFn
(WhenFn ?X))
(and
(monetaryValue ?M2 ?AMT2)
(possesses ?CUST ?M2)
(not
(possesses ?CUST ?M1))
(equal ?AMT2
(MeasureFn ?NUM2 ?CURR2))))))) |
Hotel.kif 2104-2124 |
|