(<=>
(exists (?Rate)
(fixedInterestRate ?Account ?Rate))
(instance ?Account FixedRateAccount)) 
FinancialOntology.kif 926929 
There exists an interest rate such that the interest rate is a fixed interest rate of a financial account if and only if the financial account is an instance of fixed rate account 
(=>
(and
(principalAmount ?Account ?Balance)
(fixedInterestRate ?Account ?Rate)
(compoundInterest ?Account ?Interest ?Period)
(equal ?RateDecimal
(DivisionFn ?Rate 100))
(equal ?Add
(AdditionFn 1 ?RateDecimal))
(equal ?Exponent
(ExponentiationFn ?Add
(MagnitudeFn ?Period)))
(equal ?Multiply
(MultiplicationFn ?Exponent ?Balance)))
(equal ?Interest
(SubtractionFn ?Multiply ?Balance))) 
FinancialOntology.kif 532541 

(=>
(and
(principalAmount ?Account ?Balance)
(fixedInterestRate ?Account ?Rate)
(simpleInterest ?Account ?Amount ?Period)
(equal ?RateDecimal
(DivisionFn
(MagnitudeFn ?Rate) 100)))
(equal ?Amount
(MultiplicationFn
(MultiplicationFn
(MagnitudeFn ?Period) ?Balance) ?RateDecimal))) 
FinancialOntology.kif 514520 
