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

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


(subclass CertificateOfDeposit SavingsAccount) FinancialOntology.kif 1020-1020
(subclass IndividualRetirementAccount SavingsAccount) FinancialOntology.kif 3272-3272
(subclass MoneyMarket SavingsAccount) FinancialOntology.kif 999-999
(subclass TraditionalSavingsAccount SavingsAccount) FinancialOntology.kif 1046-1046
(subclass TreasuryBill SavingsAccount) FinancialOntology.kif 1012-1012
(termFormat EnglishLanguage SavingsAccount "savings account") domainEnglishFormat.kif 8987-8987

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 988-997
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))
FinancialOntology.kif 978-986


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