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 654-655 | |
(domain amountDue 1 FinancialAccount) | FinancialOntology.kif 651-651 | amountDue の数値 1 引数は FinancialAccount の instance では |
(domain amountDue 2 CurrencyMeasure) | FinancialOntology.kif 652-652 | amountDue の数値 2 引数は 通貨測定 の instance では |
(domain amountDue 3 TimePosition) | FinancialOntology.kif 653-653 | amountDue の数値 3 引数は 時間位置 の instance では |
(instance amountDue TernaryPredicate) | FinancialOntology.kif 650-650 | amountDue は 3進述語 の instance では |
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 7267-7267 | |
(termFormat ChineseTraditionalLanguage amountDue "到期金額") | domainEnglishFormat.kif 7266-7266 | |
(termFormat EnglishLanguage amountDue "amount due") | domainEnglishFormat.kif 7265-7265 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2506-2511 | |
(=> (and (instance ?Loan InterestOnlyLoan) (agreementPeriod ?Loan ?Period) (principalAmount ?Loan ?Principal) (interestEarned ?Loan ?Interest ?Period)) (and (amountDue ?Loan ?Principal (EndFn ?Period)) (amountDue ?Loan ?Interest ?Date) (before (EndFn ?Date) (EndFn ?Period)))) |
FinancialOntology.kif 1631-1640 |
|
(=> (and (instance ?Loan SinglePaymentLoan) (principalAmount ?Loan ?Principal) (maturityDate ?Loan ?Maturity)) (amountDue ?Loan ?Principal ?Maturity)) |
FinancialOntology.kif 1612-1617 | |
(=> (and (maturityDate ?Account ?Date) (principalAmount ?Account ?Principal)) (amountDue ?Account ?Principal ?Date)) |
FinancialOntology.kif 638-642 |
![]() |
![]() |