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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SavingsAccount
SavingsAccount(savings account)
more pictures...		deposit_account, nest_egg, passbook_savings_account, savings, savings_account, time_deposit_account

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 1029-1031
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Poughkeepsie_Savings_Bank_building.jpg") pictureList.kif 11795-11795
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Soviet_Union_Savings_bank_book.jpg") pictureList.kif 10244-10244
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ Sberbank.jpg") pictureList.kif 11797-11797
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Oregon_IL_Oregon_State_Savings_Bank2.jpg") pictureList.kif 11794-11794
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ State_savings_bank_ararat.jpg") pictureList.kif 11796-11796
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Troy_Savings_Bank.jpg") pictureList.kif 11793-11793
(subclass SavingsAccount InterestBearingAccount) FinancialOntology.kif 1028-1028 Savings account is a subclass of interest bearing account

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


(subclass CertificateOfDeposit SavingsAccount) FinancialOntology.kif 1075-1075 Certificate of deposit is a subclass of savings account
(subclass IndividualRetirementAccount SavingsAccount) FinancialOntology.kif 3398-3398 Individual retirement account is a subclass of savings account
(subclass MoneyMarket SavingsAccount) FinancialOntology.kif 1054-1054 Money market is a subclass of savings account
(subclass TraditionalSavingsAccount SavingsAccount) FinancialOntology.kif 1101-1101 Traditional savings account is a subclass of savings account
(subclass TreasuryBill SavingsAccount) FinancialOntology.kif 1067-1067 Treasury bill is a subclass of savings account
(termFormat ChineseLanguage SavingsAccount "储蓄账户") domainEnglishFormat.kif 51390-51390 Treasury bill is a subclass of savings account
(termFormat ChineseTraditionalLanguage SavingsAccount "儲蓄賬戶") domainEnglishFormat.kif 51389-51389 Treasury bill is a subclass of savings account
(termFormat EnglishLanguage SavingsAccount "savings account") domainEnglishFormat.kif 51388-51388 Treasury bill is a subclass of savings account

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


(=>
    (and
        (instance ?Account SavingsAccount)
        (accountHolder ?Account ?Agent)
        (interestEarned ?Account ?Interest ?Period))
    (exists (?Payment)
        (and
            (destination ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Interest)
            (destination ?Payment ?Agent))))		 FinancialOntology.kif 1043-1052
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))		 FinancialOntology.kif 1033-1041


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