currentInterestRate - Sigma Knowledge base Browser

appearance as argument number 1

(instance currentInterestRate TernaryPredicate)	FinancialOntology.kif 634-634	current interest rate is an instance of ternary predicate
(domain currentInterestRate 1 FinancialAccount)	FinancialOntology.kif 635-635	The number 1 argument of current interest rate is an instance of financial account
(domain currentInterestRate 2 Day)	FinancialOntology.kif 636-636	The number 2 argument of current interest rate is an instance of day
(domain currentInterestRate 3 Number)	FinancialOntology.kif 637-637	The number 3 argument of current interest rate is an instance of number
(documentation currentInterestRate EnglishLanguage "(currentInterestRate ?Account ?Day ?Rate) means that ?Rate is the interest rate of the Account on a specific day ?Day.")	FinancialOntology.kif 638-639	The number 3 argument of current interest rate is an instance of number

appearance as argument number 2

(format EnglishLanguage currentInterestRate "%1 %n{doesn't} current interest rate %2 for %3")	domainEnglishFormat.kif 622-622
(format ChineseTraditionalLanguage currentInterestRate "%1 %n{不是} 對於 %3 的 current 利息率")	domainEnglishFormat.kif 623-623
(format ChineseLanguage currentInterestRate "%1 %n{不是} 对于 %3 的 current 利息率")	domainEnglishFormat.kif 624-624
(termFormat EnglishLanguage currentInterestRate "current interest rate")	domainEnglishFormat.kif 18126-18126
(termFormat ChineseTraditionalLanguage currentInterestRate "目前的利率")	domainEnglishFormat.kif 18127-18127
(termFormat ChineseLanguage currentInterestRate "目前的利率")	domainEnglishFormat.kif 18128-18128

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