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

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

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

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

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

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

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

(=>
(and
(simpleInterest ?Account
(MeasureFn ?Interest ?CUNIT) ?Period)
(principalAmount ?Account
(MeasureFn ?Principal ?CUNIT))
(equal ?RateDecimal
(DivisionFn ?Interest ?Principal))
(equal ?Rate
(MultiplicationFn ?RateDecimal 100.0)))
(interestRatePerPeriod ?Account ?Rate ?Period)) 
FinancialOntology.kif 587597 
