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

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

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

(=>
(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)
(=>
(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 467491 

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