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

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

(=>
(and
(instance ?Bond ZeroCouponBond)
(maturityDate
(AccountFn ?Bond) ?Date)
(possesses ?BondHolder ?Bond)
(principalAmount
(AccountFn ?Bond) ?Principal)
(agreementPeriod
(AccountFn ?Bond) ?Period)
(interestEarned
(AccountFn ?Bond) ?Interest ?Period)
(equal ?Total
(AdditionFn ?Principal ?Interest)))
(exists (?Payment)
(and
(instance ?Payment Payment)
(destination ?Payment ?BondHolder)
(origin ?Payment
(AccountFn ?Bond))
(transactionAmount ?Payment ?Total)))) 
FinancialOntology.kif 22622276 

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

(=>
(and
(instance ?Loan SinglePaymentLoan)
(principalAmount ?Loan ?Principal)
(maturityDate ?Loan ?Maturity))
(amountDue ?Loan ?Principal ?Maturity)) 
FinancialOntology.kif 15381543 

(=>
(and
(maturityDate ?Account ?Date)
(principalAmount ?Account ?Principal))
(amountDue ?Account ?Principal ?Date)) 
FinancialOntology.kif 595599 

(=>
(and
(principalAmount ?Account ?Balance)
(fixedInterestRate ?Account ?Rate)
(compoundInterest ?Account ?Interest ?Period)
(equal ?RateDecimal
(DivisionFn ?Rate 100))
(equal ?Add
(AdditionFn 1 ?RateDecimal))
(equal ?Exponent
(ExponentiationFn ?Add
(MagnitudeFn ?Period)))
(equal ?Multiply
(MultiplicationFn ?Exponent ?Balance)))
(equal ?Interest
(SubtractionFn ?Multiply ?Balance))) 
FinancialOntology.kif 531540 

(=>
(and
(principalAmount ?Account ?Balance)
(fixedInterestRate ?Account ?Rate)
(simpleInterest ?Account ?Amount ?Period)
(equal ?RateDecimal
(DivisionFn
(MagnitudeFn ?Rate) 100)))
(equal ?Amount
(MultiplicationFn
(MultiplicationFn
(MagnitudeFn ?Period) ?Balance) ?RateDecimal))) 
FinancialOntology.kif 513519 

(=>
(and
(simpleInterest ?Account ?Interest ?Period)
(principalAmount ?Account ?Principal)
(equal ?RateDecimal
(DivisionFn ?Interest ?Principal))
(equal ?Rate
(MultiplicationFn ?RateDecimal 100)))
(interestRatePerPeriod ?Account ?Rate ?Period)) 
FinancialOntology.kif 550556 
