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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TraditionalSavingsAccount

Sigma KEE - TraditionalSavingsAccount
TraditionalSavingsAccount

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


(documentation TraditionalSavingsAccount 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 1102-1103
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Soviet_Union-Savings-bank_book.jpg") pictureList.kif 10300-10300
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ Sberbank.jpg") pictureList.kif 12017-12017
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ d/ d1/ State_savings_bank_ararat.jpg") pictureList.kif 12016-12016
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ f/ f1/ Troy_Savings_Bank.jpg") pictureList.kif 12015-12015
(subclass TraditionalSavingsAccount SavingsAccount) FinancialOntology.kif 1101-1101

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


(termFormat ChineseLanguage TraditionalSavingsAccount "传统储蓄账户") domainEnglishFormat.kif 58748-58748
(termFormat ChineseTraditionalLanguage TraditionalSavingsAccount "傳統儲蓄賬戶") domainEnglishFormat.kif 58747-58747
(termFormat EnglishLanguage TraditionalSavingsAccount "traditional savings account") domainEnglishFormat.kif 58746-58746

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


(=>
    (and
        (instance ?Account TraditionalSavingsAccount)
        (instance ?Withdrawal Withdrawal)
        (origin ?Withdrawal
            (CurrencyFn ?Account)))
    (not
        (exists (?Penalty)
            (and
                (instance ?Penalty Penalty)
                (destination ?Penalty
                    (CurrencyFn ?Account))
                (causes ?Withdrawal ?Penalty)))))
FinancialOntology.kif 1115-1124
(=>
    (instance ?Account TraditionalSavingsAccount)
    (liquidity ?Account HighLiquidity))
FinancialOntology.kif 1105-1107
(=>
    (instance ?Account TraditionalSavingsAccount)
    (not
        (exists (?Date)
            (maturityDate ?Account ?Date))))
FinancialOntology.kif 1109-1113


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