Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| amountDue |
| appearance as argument number 1 |
|
| (instance amountDue TernaryPredicate) | FinancialOntology.kif 669-669 | amount due is an instance of ternary predicate |
| (domain amountDue 1 FinancialAccount) | FinancialOntology.kif 670-670 | The number 1 argument of amount due is an instance of financial account |
| (domain amountDue 2 CurrencyMeasure) | FinancialOntology.kif 671-671 | The number 2 argument of amount due is an instance of currency measure |
| (domain amountDue 3 TimePosition) | FinancialOntology.kif 672-672 | The number 3 argument of amount due is an instance of time position |
| (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 673-674 | The number 3 argument of amount due is an instance of time position |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage amountDue "%1 %n{doesn't} amount due %2 for %3") | domainEnglishFormat.kif 134-134 | |
| (format ChineseTraditionalLanguage amountDue "%1 %n{不是} 對於 %3 到期的 amount %2 ") | domainEnglishFormat.kif 135-135 | |
| (format ChineseLanguage amountDue "%1 %n{不是} 对于 %3 到期的 amount %2") | domainEnglishFormat.kif 136-136 | |
| (termFormat EnglishLanguage amountDue "amount due") | domainEnglishFormat.kif 7259-7259 | |
| (termFormat ChineseTraditionalLanguage amountDue "到期金額") | domainEnglishFormat.kif 7260-7260 | |
| (termFormat ChineseLanguage amountDue "到期金额") | domainEnglishFormat.kif 7261-7261 |
| antecedent |
|
|
| (=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation ?Agent (exists (?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)))))) |
FinancialOntology.kif 676-689 | If X amount due Y for Z and W holds account X, then W is obliged to perform tasks of type there exists V such that V is an instance of payment, Y is a transaction amount of V, V ends up at the currency of X, V originates at the currency of X, date of V is U, and the end of U happens before, or at the beginning of Z |
| (=> (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 856-864 | If All of the following hold: (1) X is a transaction amount of Y (2) date of Y is Z (3) W is an instance of financial account (4) Y ends up at the currency of W (5) W amount due X for V (6) the end of Z happens before the beginning of V, then Y is an instance of prepayment |
| consequent |
|
|
| (=> (and (maturityDate ?Account ?Date) (principalAmount ?Account ?Principal)) (amountDue ?Account ?Principal ?Date)) |
FinancialOntology.kif 657-661 | If X is a maturity date of Y and Z is a principal amount of Y, then Y amount due Z for X |
| (=> (and (instance ?Loan SinglePaymentLoan) (principalAmount ?Loan ?Principal) (maturityDate ?Loan ?Maturity)) (amountDue ?Loan ?Principal ?Maturity)) |
FinancialOntology.kif 1641-1646 | If X is an instance of single payment loan, Y is a principal amount of X, and Z is a maturity date of X, then X amount due Y for Z |
| (=> (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 1660-1669 | If X is an instance of interest only loan, Y is an agreement period of X, Z is a principal amount of X, and X is interest earned W for Y, then X amount due Z for the end of Y, X amount due W for V, and the end of V happens before the end of Y |
| (=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2530-2535 | If X is an instance of callable bond, the account of X current account balance Y for Z, and Y is a call date of X, then the account of X amount due Z for Y |
|