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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SavingsAccount
more pictures...

appearance as argument number 1

(documentation SavingsAccount EnglishLanguage "An account in a bank on which interest is usually paid and from which withdrawals can be made usually only by presentation of a passbook or by written authorization on a prescribed form.") FinancialOntology.kif 983-985
(externalImage SavingsAccount " 0/ 03/ Poughkeepsie_Savings_Bank_building.jpg") pictureList.kif 11818-11818
(externalImage SavingsAccount " 4/ 4b/ Soviet_Union-Savings-bank_book.jpg") pictureList.kif 10256-10256
(externalImage SavingsAccount " 7/ 7c/ Sberbank.jpg") pictureList.kif 11820-11820
(externalImage SavingsAccount " 8/ 8e/ Oregon_IL_Oregon_State_Savings_Bank2.jpg") pictureList.kif 11817-11817
(externalImage SavingsAccount " d/ d1/ State_savings_bank_ararat.jpg") pictureList.kif 11819-11819
(externalImage SavingsAccount " f/ f1/ Troy_Savings_Bank.jpg") pictureList.kif 11816-11816
(subclass SavingsAccount InterestBearingAccount) FinancialOntology.kif 982-982

appearance as argument number 2

(subclass CertificateOfDeposit SavingsAccount) FinancialOntology.kif 1029-1029
(subclass IndividualRetirementAccount SavingsAccount) FinancialOntology.kif 3342-3342
(subclass MoneyMarket SavingsAccount) FinancialOntology.kif 1008-1008
(subclass TraditionalSavingsAccount SavingsAccount) FinancialOntology.kif 1055-1055
(subclass TreasuryBill SavingsAccount) FinancialOntology.kif 1021-1021
(termFormat ChineseLanguage SavingsAccount "储蓄账户") domainEnglishFormat.kif 51340-51340
(termFormat ChineseTraditionalLanguage SavingsAccount "儲蓄賬戶") domainEnglishFormat.kif 51339-51339
(termFormat EnglishLanguage SavingsAccount "savings account") domainEnglishFormat.kif 51338-51338


        (instance ?Account SavingsAccount)
        (accountHolder ?Account ?Agent)
        (interestEarned ?Account ?Interest ?Period))
    (exists (?Payment)
            (destination ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Interest)
            (destination ?Payment ?Agent))))
FinancialOntology.kif 997-1006
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))
FinancialOntology.kif 987-995

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