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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SavingsAccount
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 1031-1033
(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 1030-1030

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


(subclass CertificateOfDeposit SavingsAccount) FinancialOntology.kif 1077-1077
(subclass IndividualRetirementAccount SavingsAccount) FinancialOntology.kif 3401-3401
(subclass MoneyMarket SavingsAccount) FinancialOntology.kif 1056-1056
(subclass TraditionalSavingsAccount SavingsAccount) FinancialOntology.kif 1103-1103
(subclass TreasuryBill SavingsAccount) FinancialOntology.kif 1069-1069
(termFormat ChineseLanguage SavingsAccount "储蓄账户") domainEnglishFormat.kif 51361-51361
(termFormat ChineseTraditionalLanguage SavingsAccount "儲蓄賬戶") domainEnglishFormat.kif 51360-51360
(termFormat EnglishLanguage SavingsAccount "savings account") domainEnglishFormat.kif 51359-51359

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 1045-1054
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))
FinancialOntology.kif 1035-1043


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