| 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 | 到期金额 的 1 数量 是 金融账户 的 instance |
| (domain amountDue 2 CurrencyMeasure) | FinancialOntology.kif 650-650 | 到期金额 的 2 数量 是 货币测量 的 instance |
| (domain amountDue 3 TimePosition) | FinancialOntology.kif 651-651 | 到期金额 的 3 数量 是 时间位置 的 instance |
| (instance amountDue TernaryPredicate) | FinancialOntology.kif 648-648 | 到期金额 是 三元谓语 的 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 |
|
|
| (=> (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 |
|
|
| (=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2503-2508 | |
| (=> (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 1629-1638 | |
| (=> (and (instance ?Loan SinglePaymentLoan) (principalAmount ?Loan ?Principal) (maturityDate ?Loan ?Maturity)) (amountDue ?Loan ?Principal ?Maturity)) |
FinancialOntology.kif 1610-1615 | |
| (=> (and (maturityDate ?Account ?Date) (principalAmount ?Account ?Principal)) (amountDue ?Account ?Principal ?Date)) |
FinancialOntology.kif 636-640 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners