(=>
(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 |
