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 973-975
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Poughkeepsie_Savings_Bank_building.jpg") pictureList.kif 11829-11829 "http://upload.wikimedia.org/wikipedia/commons/0/03/ Poughkeepsie_Savings_Bank_building.jpg" is a URL depicting savings account
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Soviet_Union-Savings-bank_book.jpg") pictureList.kif 10267-10267 "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Soviet_Union-Savings-bank_book.jpg" is a URL depicting savings account
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ Sberbank.jpg") pictureList.kif 11831-11831 "http://upload.wikimedia.org/wikipedia/commons/7/7c/ Sberbank.jpg" is a URL depicting savings account
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Oregon_IL_Oregon_State_Savings_Bank2.jpg") pictureList.kif 11828-11828 "http://upload.wikimedia.org/wikipedia/commons/8/8e/ Oregon_IL_Oregon_State_Savings_Bank2.jpg" is a URL depicting savings account
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ State_savings_bank_ararat.jpg") pictureList.kif 11830-11830 "http://upload.wikimedia.org/wikipedia/commons/d/d1/ State_savings_bank_ararat.jpg" is a URL depicting savings account
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Troy_Savings_Bank.jpg") pictureList.kif 11827-11827 "http://upload.wikimedia.org/wikipedia/commons/f/f1/ Troy_Savings_Bank.jpg" is a URL depicting savings account
(subclass SavingsAccount InterestBearingAccount) FinancialOntology.kif 972-972 Savings account is a subclass of interest bearing account

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


(subclass CertificateOfDeposit SavingsAccount) FinancialOntology.kif 1019-1019 Certificate of deposit is a subclass of savings account
(subclass IndividualRetirementAccount SavingsAccount) FinancialOntology.kif 3278-3278 Individual retirement account is a subclass of savings account
(subclass MoneyMarket SavingsAccount) FinancialOntology.kif 998-998 Money market is a subclass of savings account
(subclass TraditionalSavingsAccount SavingsAccount) FinancialOntology.kif 1045-1045 Traditional savings account is a subclass of savings account
(subclass TreasuryBill SavingsAccount) FinancialOntology.kif 1011-1011 Treasury bill is a subclass of savings account
(termFormat ChineseLanguage SavingsAccount "储蓄账户") domainEnglishFormat.kif 51295-51295 "储蓄账户" is the printable form of savings account in ChineseLanguage
(termFormat ChineseTraditionalLanguage SavingsAccount "儲蓄賬戶") domainEnglishFormat.kif 51294-51294 "儲蓄賬戶" is the printable form of savings account in ChineseTraditionalLanguage
(termFormat EnglishLanguage SavingsAccount "savings account") domainEnglishFormat.kif 51293-51293 "savings account" is the printable form of savings account in english language

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 987-996
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))
FinancialOntology.kif 977-985


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners