|
|
   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 2097-2099 | |
| (subclass CurrencyExchangeService ServiceProcess) | Hotel.kif 2096-2096 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CurrencyExchangeService "currency exchange") | Hotel.kif 2100-2100 |
| antecedent |
|
|
| (=> (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 |
|
|
|