Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CurrencyExchangeService(currency exchange) |
| appearance as argument number 1 |
|
| (subclass CurrencyExchangeService ServiceProcess) | Hotel.kif 2114-2114 | Currency exchange is a subclass of service |
| (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 2115-2117 | Currency exchange is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CurrencyExchangeService "currency exchange") | Hotel.kif 2118-2118 |
| 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 2122-2142 | If X is an instance of currency exchange, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R and Q such that U is an agent of X and equal Z and V and Y is an instance of currency measure and W is an instance of currency measure and value of T is Y and U possesses T and equal Y and R Z(s) holds during the beginning of the time of existence of X and value of S is W and U possesses S and U doesn't possess T and equal W and Q V(s) holds during the end of the time of existence of X |
|