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
-------------------------


(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 1101-1102
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Soviet_Union-Savings-bank_book.jpg") pictureList.kif 10310-10310
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ Sberbank.jpg") pictureList.kif 12033-12033
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ d/ d1/ State_savings_bank_ararat.jpg") pictureList.kif 12032-12032
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ f/ f1/ Troy_Savings_Bank.jpg") pictureList.kif 12031-12031
(subclass TraditionalSavingsAccount SavingsAccount) FinancialOntology.kif 1100-1100 Traditional savings account is a subclass of savings account

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


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

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 1114-1123
(=>
    (instance ?Account TraditionalSavingsAccount)
    (liquidity ?Account HighLiquidity))
FinancialOntology.kif 1104-1106
(=>
    (instance ?Account TraditionalSavingsAccount)
    (not
        (exists (?Date)
            (maturityDate ?Account ?Date))))
FinancialOntology.kif 1108-1112


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