(=>
(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)
(origin ?Payment ?Buyer)
(destination ?Payment ?Seller)))) 
FinancialOntology.kif 463475 

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

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

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

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