(<=>
(exists (?Period)
(and
(instance ?Loan Loan)
(agreementPeriod ?Loan ?Period)
(interestEarned ?Loan ?Amount ?Period)))
(loanInterest ?Loan ?Amount)) 
FinancialOntology.kif 37553761 
There exists a time interval such that a loan is an instance of loan and the time interval is an agreement period of the loan and the loan interest earned an interest for the time interval if and only if the interest is a loan interest of the loan 
(=>
(and
(borrower ?Loan ?Borrower)
(lender ?Loan ?Lender)
(agreementPeriod ?Loan ?Period)
(interestEarned ?Loan ?Interest ?Period))
(exists (?Payment)
(and
(origin ?Payment ?Borrower)
(transactionAmount ?Payment ?Interest)
(destination ?Payment ?Lender)))) 
FinancialOntology.kif 12031213 

(=>
(and
(instance ?Account CreditAccount)
(accountAt ?Account ?Organization)
(accountHolder ?Account ?Agent)
(interestEarned ?Account ?Interest ?Period))
(exists (?Payment)
(and
(origin ?Payment ?Agent)
(transactionAmount ?Payment ?Interest)
(destination ?Payment ?Organization)))) 
FinancialOntology.kif 11541164 

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

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

(=>
(and
(instance ?Account SavingsAccount)
(accountHolder ?Account ?Agent)
(interestEarned ?Account ?Interest ?Period))
(exists (?Payment)
(and
(destination ?Payment
(CurrencyFn ?Account))
(transactionAmount ?Payment ?Interest)
(destination ?Payment ?Agent)))) 
FinancialOntology.kif 988997 

(=>
(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
(CurrencyFn ?BondAccount))
(transactionAmount ?Payment ?Total)))) 
FinancialOntology.kif 22642278 

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