Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - currentInterestRate
currentInterestRate

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 617-618
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 614-614 The number 1 argument of current interest rate is an instance of financial account
(domain currentInterestRate 2 Day) FinancialOntology.kif 615-615 The number 2 argument of current interest rate is an instance of day
(domain currentInterestRate 3 Number) FinancialOntology.kif 616-616 The number 3 argument of current interest rate is an instance of number
(instance currentInterestRate TernaryPredicate) FinancialOntology.kif 613-613 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 18126-18126
(termFormat ChineseTraditionalLanguage currentInterestRate "目前的利率") domainEnglishFormat.kif 18125-18125
(termFormat EnglishLanguage currentInterestRate "current interest rate") domainEnglishFormat.kif 18124-18124

antecedent
-------------------------


(=>
    (and
        (instance ?Account PersonalAccount)
        (currentInterestRate ?Account ?Date ?Rate)
        (primeInterestRate ?Date ?PrimeRate))
    (greaterThan ?Rate ?PrimeRate))
FinancialOntology.kif 606-611


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners