| 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 830-831 | |
| (subclass Prepayment Payment) | FinancialOntology.kif 829-829 | 预付款 是 付款 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Prepayment "预付款") | domainEnglishFormat.kif 47199-47199 | |
| (termFormat ChineseTraditionalLanguage Prepayment "預付款") | domainEnglishFormat.kif 47198-47198 | |
| (termFormat EnglishLanguage Prepayment "prepayment") | domainEnglishFormat.kif 47197-47197 |
| 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 833-841 |
|
|
|