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 目前的利率 的 1 数量 是 金融账户instance
(domain currentInterestRate 2 Day) FinancialOntology.kif 615-615 目前的利率 的 2 数量 是 instance
(domain currentInterestRate 3 Number) FinancialOntology.kif 616-616 目前的利率 的 3 数量 是 数字instance
(instance currentInterestRate TernaryPredicate) FinancialOntology.kif 613-613 目前的利率三元谓语instance

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 18117-18117
(termFormat ChineseTraditionalLanguage currentInterestRate "目前的利率") domainEnglishFormat.kif 18116-18116
(termFormat EnglishLanguage currentInterestRate "current interest rate") domainEnglishFormat.kif 18115-18115

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