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
(domain currentInterestRate 2 Day) FinancialOntology.kif 615-615
(domain currentInterestRate 3 Number) FinancialOntology.kif 616-616
(instance currentInterestRate TernaryPredicate) FinancialOntology.kif 613-613

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