Repayment |
appearance as argument number 1 |
(documentation Repayment EnglishLanguage "A Repayment is a subclass of Payment where the origin of a previous payment is the destination of the repayment, and vice versa. The transactionAmount is the same as that previous payment.") | UXExperimentalTerms.kif 1868-1870 | |
(subclass Repayment Payment) | UXExperimentalTerms.kif 1864-1864 | Repayment ist eine teilkategorie von Payment |
appearance as argument number 2 |
(termFormat EnglishLanguage Repayment "repayment") | UXExperimentalTerms.kif 1866-1866 |
antecedent |
(=> (and (instance ?REPAYMENT Repayment) (instance ?REPAYMENT_DESTINATION Object) (destination ?REPAYMENT ?REPAYMENT_DESTINATION) (instance ?REPAYMENT_ORIGIN Object) (origin ?REPAYMENT ?REPAYMENT_ORIGIN)) (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION) (and (instance ?PAYMENT Payment) (instance ?PAYMENT_ORIGIN Object) (instance ?PAYMENT_DESTINATION Object) (not (equal ?PAYMENT ?REPAYMENT)) (destination ?PAYMENT ?PAYMENT_DESTINATION) (origin ?PAYMENT ?PAYMENT_ORIGIN) (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION) (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN)))) |
UXExperimentalTerms.kif 1883-1900 |
|
(=> (instance ?REPAYMENT Repayment) (exists (?PAYMENT ?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT) (and (instance ?PAYMENT ?PAYMENT) (not (equal ?PAYMENT ?REPAYMENT)) (transactionAmount ?PAYMENT ?PAYMENT_AMOUNT) (transactionAmount ?REPAYMENT ?REPAYMENT_AMOUNT) (equal ?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT)))) |
UXExperimentalTerms.kif 1872-1881 |
|