TreeView Knowledge Base Browser

appearance as argument number 1

(instance primeInterestRate BinaryPredicate)	FinancialOntology.kif 620-620	prime interest rate is an instance of binary predicate
(domain primeInterestRate 1 Day)	FinancialOntology.kif 621-621	The number 1 argument of prime interest rate is an instance of day
(domain primeInterestRate 2 Number)	FinancialOntology.kif 622-622	The number 2 argument of prime interest rate is an instance of number
(documentation primeInterestRate EnglishLanguage "The interest rate that commercial banks charge their most creditworthy borrowers, such as large corporations. The prime rate is a lagging indicator.")	FinancialOntology.kif 623-625	The number 2 argument of prime interest rate is an instance of number

appearance as argument number 2

(format EnglishLanguage primeInterestRate "%2 is %n a prime interest rate of %1")	domainEnglishFormat.kif 2053-2053
(format ChineseTraditionalLanguage primeInterestRate "%2 %n 是 %1 的 prime 利息率")	domainEnglishFormat.kif 2054-2054
(format ChineseLanguage primeInterestRate "%2 %n 是 %1 的 prime 利息率")	domainEnglishFormat.kif 2055-2055
(termFormat EnglishLanguage primeInterestRate "prime interest rate")	domainEnglishFormat.kif 47329-47329
(termFormat ChineseTraditionalLanguage primeInterestRate "主要利率")	domainEnglishFormat.kif 47330-47330
(termFormat ChineseLanguage primeInterestRate "主要利率")	domainEnglishFormat.kif 47331-47331

antecedent

(=>
    (and
        (instance ?Account PersonalAccount)
        (currentInterestRate ?Account ?Date ?Rate)
        (primeInterestRate ?Date ?PrimeRate))
    (greaterThan ?Rate ?PrimeRate))

If X is an instance of personal account, X current interest rate Y for Z, and W is a prime interest rate of Y, then Z is greater than W