|
|
   CurrencyExchangeService
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CurrencyExchangeService EnglishLanguage "CurrencyExchangeService is a type of service where some amount in a certain currency is exchange for an equivalent amount in another currency") | Hotel.kif 2072-2074 | |
| (subclass CurrencyExchangeService ServiceProcess) | Hotel.kif 2071-2071 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CurrencyExchangeService "currency exchange") | Hotel.kif 2075-2075 |
| antecedent |
|
|
| (=> (instance ?X CurrencyExchangeService) (exists (?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST) (and (agent ?X ?CUST) (not (equal ?CURR1 ?CURR2)) (instance ?AMT1 CurrencyMeasure) (instance ?AMT2 CurrencyMeasure) (holdsDuring (WhenFn (StartFn ?X)) (and (monetaryValue ?M1 ?AMT1) (possesses ?CUST ?M1) (equal ?AMT1 (MeasureFn ?NUM1 ?CURR1)))) (holdsDuring (WhenFn (EndFn ?X)) (and (monetaryValue ?M2 ?AMT2) (possesses ?CUST ?M2) (not (possesses ?CUST ?M1)) (equal ?AMT2 (MeasureFn ?NUM2 ?CURR2))))))) |
Hotel.kif 2077-2097 |
|
|
|