Prepayment(prepayment) | prepayment |
appearance as argument number 1 |
(documentation Prepayment EnglishLanguage "Prepayment is the payment of all or part of a debt prior to its due date.") | FinancialOntology.kif 831-832 | |
(subclass Prepayment Payment) | FinancialOntology.kif 830-830 | Prepayment is a subclass of payment |
appearance as argument number 2 |
(termFormat ChineseLanguage Prepayment "预付款") | domainEnglishFormat.kif 47254-47254 | |
(termFormat ChineseTraditionalLanguage Prepayment "預付款") | domainEnglishFormat.kif 47253-47253 | |
(termFormat EnglishLanguage Prepayment "prepayment") | domainEnglishFormat.kif 47252-47252 |
consequent |
(=> (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (instance ?Account FinancialAccount) (destination ?Payment (CurrencyFn ?Account)) (amountDue ?Account ?Amount ?DueDate) (before (EndFn ?Date) (BeginFn ?DueDate))) (instance ?Payment Prepayment)) |
FinancialOntology.kif 834-842 |
|