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

Formal Language: 



KB Term:  Term intersection
English Word: 

  currentInterestRate

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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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