currentInterestRate - Sigma Knowledge base Browser

appearance as argument number 1

(documentation currentInterestRate EnglishLanguage "(currentInterestRate ?Account ?Day ?Rate) means that ?Rate is the interest rate of the Account on a specific day ?Day.")	FinancialOntology.kif 619-620
(domain currentInterestRate 1 FinancialAccount)	FinancialOntology.kif 616-616	The number 1 argument of current interest rate is an instance of financial account
(domain currentInterestRate 2 Day)	FinancialOntology.kif 617-617	The number 2 argument of current interest rate is an instance of day
(domain currentInterestRate 3 Number)	FinancialOntology.kif 618-618	The number 3 argument of current interest rate is an instance of number
(instance currentInterestRate TernaryPredicate)	FinancialOntology.kif 615-615	current interest rate is an instance of ternary predicate

appearance as argument number 2

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

antecedent

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

FinancialOntology.kif 608-613