(=>
(and
(agent ?Purchase ?Buyer)
(origin ?Purchase ?Seller)
(patient ?Purchase ?Object)
(monetaryValue ?Object ?Money))
(exists (?Payment)
(and
(subProcess ?Payment ?Purchase)
(instance ?Payment Payment)
(transactionAmount ?Payment ?Money)
(destination ?Payment ?Seller)))) 
FinancialOntology.kif 465476 

(=>
(and
(amountDue ?Account ?Amount ?DueDate)
(accountHolder ?Account ?Agent))
(holdsObligation
(KappaFn ?Payment
(and
(instance ?Payment Payment)
(transactionAmount ?Payment ?Amount)
(or
(destination ?Payment
(CurrencyFn ?Account))
(origin ?Payment
(CurrencyFn ?Account)))
(date ?Payment ?Date)
(beforeOrEqual
(EndFn ?Date)
(BeginFn ?DueDate)))) ?Agent)) 
FinancialOntology.kif 615627 

(=>
(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 ?REPAYMENT Repayment)
(instance ?REPAYMENT_DESTINATION Object)
(destination ?REPAYMENT ?REPAYMENT_DESTINATION)
(instance ?REPAYMENT_ORIGIN Object)
(origin ?REPAYMENT ?REPAYMENT_ORIGIN))
(exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
(and
(instance ?PAYMENT Payment)
(instance ?PAYMENT_ORIGIN Object)
(instance ?PAYMENT_DESTINATION Object)
(not
(equal ?PAYMENT ?REPAYMENT))
(destination ?PAYMENT ?PAYMENT_DESTINATION)
(origin ?PAYMENT ?PAYMENT_ORIGIN)
(equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
(equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN)))) 
UXExperimentalTerms.kif 20892106 

(=>
(and
(rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
(equal ?QUANT
(PerFn ?PRICE ?TIME))
(immediateInstance ?ITEM ?OBJ)
(instance ?R Renting)
(patient ?R ?ITEM)
(possesses ?OBJ ?AGENT)
(agent ?R ?CUSTOMER)
(time ?R ?TIMEINT))
(forall (?X)
(=>
(and
(during ?TIMEINT ?X)
(instance ?X TimeInterval)
(duration ?X ?DURATION)
(lessThanOrEqualTo ?DURATION ?TIME))
(exists (?P)
(and
(instance ?P Payment)
(destination ?P ?AGENT)
(agent ?P ?CUSTOMER)
(transactionAmount ?P ?PRICE)))))) 
Catalog.kif 450472 

(=>
(periodicPayment ?Account ?Amount ?Period)
(exists (?Payment)
(and
(instance ?Payment Payment)
(origin ?Payment
(CurrencyFn ?Account))
(transactionAmount ?Payment ?Amount)
(frequency ?Payment ?Period)))) 
FinancialOntology.kif 696703 
