(=>
(and
(instance ?Account CreditAccount)
(accountHolder ?Account ?Agent)
(principalAmount ?Account ?Principal)
(agreementPeriod ?Account ?Period)
(interestEarned ?Account ?Interest ?Period)
(equal ?Total
(AdditionFn ?Principal ?Interest)))
(holdsObligation
(KappaFn ?Payment
(transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1238-1247 |
|
(=>
(and
(instance ?Account Loan)
(borrower ?Account ?Agent)
(principalAmount ?Account ?Principal)
(agreementPeriod ?Account ?Period)
(interestEarned ?Account ?Interest ?Period)
(equal ?Total
(AdditionFn ?Principal ?Interest)))
(holdsObligation
(KappaFn ?Payment
(transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1287-1296 |
|
(=>
(and
(instance ?Bond ZeroCouponBond)
(maturityDate
(AccountFn ?Bond) ?Date)
(possesses ?BondHolder ?Bond)
(principalAmount
(AccountFn ?Bond)
(MeasureFn ?Principal ?CUNIT))
(agreementPeriod
(AccountFn ?Bond) ?Period)
(interestEarned
(AccountFn ?Bond)
(MeasureFn ?Interest ?CUNIT) ?Period)
(equal ?Total
(AdditionFn ?Principal ?Interest)))
(exists (?Payment)
(and
(instance ?Payment Payment)
(destination ?Payment ?BondHolder)
(origin ?Payment
(AccountFn ?Bond))
(transactionAmount ?Payment
(MeasureFn ?Total ?CUNIT))))) |
FinancialOntology.kif 2347-2369 |
|
(=>
(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 |
|
(=>
(and
(principalAmount ?Account
(MeasureFn ?Balance ?CUNIT))
(fixedInterestRate ?Account ?Rate)
(simpleInterest ?Account
(MeasureFn ?Amount ?CUNIT) ?Period)
(equal ?Rate_Decimal
(DivisionFn ?Rate 100)))
(equal ?Amount
(MultiplicationFn ?Balance ?Rate_Decimal))) |
FinancialOntology.kif 538-548 |
|
(=>
(and
(simpleInterest ?Account
(MeasureFn ?Interest ?CUNIT) ?Period)
(principalAmount ?Account
(MeasureFn ?Principal ?CUNIT))
(equal ?Rate_Decimal
(DivisionFn ?Interest ?Principal))
(equal ?Rate
(MultiplicationFn ?Rate_Decimal 100.0)))
(interestRatePerPeriod ?Account ?Rate ?Period)) |
FinancialOntology.kif 587-597 |
|