amountDue |
appearance as argument number 1 |
(documentation amountDue EnglishLanguage "(amountDue ?ACCOUNT ?AMOUNT ?DATE) means ?DATE is the date on which the amount of Money ?AMOUNT of a particular ?ACCOUNT is due and payable") | FinancialOntology.kif 652-653 | |
(domain amountDue 1 FinancialAccount) | FinancialOntology.kif 649-649 | amountDue の数値 1 引数は FinancialAccount の instance では %n |
(domain amountDue 2 CurrencyMeasure) | FinancialOntology.kif 650-650 | amountDue の数値 2 引数は 通貨測定 の instance では %n |
(domain amountDue 3 TimePosition) | FinancialOntology.kif 651-651 | amountDue の数値 3 引数は 時間位置 の instance では %n |
(instance amountDue TernaryPredicate) | FinancialOntology.kif 648-648 | amountDue は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage amountDue "%1 %n{不是} 对于 %3 到期的 amount %2") | domainEnglishFormat.kif 136-136 | |
(format ChineseTraditionalLanguage amountDue "%1 %n{不是} 對於 %3 到期的 amount %2 ") | domainEnglishFormat.kif 135-135 | |
(format EnglishLanguage amountDue "%1 %n{doesn't} amount due %2 for %3") | domainEnglishFormat.kif 134-134 | |
(termFormat ChineseLanguage amountDue "到期金额") | domainEnglishFormat.kif 7260-7260 | |
(termFormat ChineseTraditionalLanguage amountDue "到期金額") | domainEnglishFormat.kif 7259-7259 | |
(termFormat EnglishLanguage amountDue "amount due") | domainEnglishFormat.kif 7258-7258 |
antecedent |
(=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent)) |
FinancialOntology.kif 655-667 |
|
(=> (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 |
|
consequent |