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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TraditionalSavingsAccount
TraditionalSavingsAccount(traditional savings account)

appearance as argument number 1
-------------------------


s__documentation(s__TraditionalSavingsAccount,s__EnglishLanguage,'"Accounts that pay interest, usually at below-market interest rates, that do not have a specific maturity, and that usually can be withdrawn upon demand"')

FinancialOntology.kif 1056-1057
s__externalImage(s__TraditionalSavingsAccount,'"http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Soviet_Union-Savings-bank_book.jpg"')

pictureList.kif 10320-10320
s__externalImage(s__TraditionalSavingsAccount,'"http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ Sberbank.jpg"')

pictureList.kif 12043-12043
s__externalImage(s__TraditionalSavingsAccount,'"http://upload.wikimedia.org/wikipedia/ commons/ d/ d1/ State_savings_bank_ararat.jpg"')

pictureList.kif 12042-12042
s__externalImage(s__TraditionalSavingsAccount,'"http://upload.wikimedia.org/wikipedia/ commons/ f/ f1/ Troy_Savings_Bank.jpg"')

pictureList.kif 12041-12041
s__subclass(s__TraditionalSavingsAccount,s__SavingsAccount)

s__instance(s__TraditionalSavingsAccount,s__SetOrClass)

s__instance(s__SavingsAccount,s__SetOrClass)

FinancialOntology.kif 1055-1055 Traditional savings account is a subclass of savings account

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__TraditionalSavingsAccount,'"传统储蓄账户"')

domainEnglishFormat.kif 58714-58714
s__termFormat(s__ChineseTraditionalLanguage,s__TraditionalSavingsAccount,'"傳統儲蓄賬戶"')

domainEnglishFormat.kif 58713-58713
s__termFormat(s__EnglishLanguage,s__TraditionalSavingsAccount,'"traditional savings account"')

domainEnglishFormat.kif 58712-58712

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


( ! [V__Account,V__Withdrawal] :
   (((s__instance(V__Account,s__TraditionalSavingsAccount) &
         s__instance(V__Withdrawal,s__Withdrawal) &
         s__origin(V__Withdrawal,s__CurrencyFn(V__Account)))
   =>
   (~(( ? [V__Penalty] :
         ((s__instance(V__Penalty,s__Penalty) &
             s__destination(V__Penalty,s__CurrencyFn(V__Account))
         &
         s__causes(V__Withdrawal,V__Penalty)))))))
)
)

FinancialOntology.kif 1069-1078
( ! [V__Account] :
   ((s__instance(V__Account,s__TraditionalSavingsAccount) =>
       (s__liquidity(V__Account,s__HighLiquidity)))
     )
   )

FinancialOntology.kif 1059-1061
( ! [V__Account] :
   ((s__instance(V__Account,s__TraditionalSavingsAccount) =>
       (~(( ? [V__Date] :
             ((s__instance(V__Date,s__Day) &
                 s__maturityDate(V__Account,V__Date)))))))
   )
)

FinancialOntology.kif 1063-1067


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