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

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

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

(=>
(and
(instance ?I HealthInsuranceCompany)
(customer ?I ?C))
(hasPurposeForAgent ?I
(exists (?D ?P)
(and
(or
(instance ?D DiagnosticProcess)
(instance ?D TherapeuticProcess))
(experiencer ?D ?C)
(instance ?P Payment)
(agent ?P ?I)
(refers ?P ?D))) ?C)) 
Midlevelontology.kif 71587171 

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

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

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