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 1029-1031
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Poughkeepsie_Savings_Bank_building.jpg") pictureList.kif 11802-11802
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Soviet_Union-Savings-bank_book.jpg") pictureList.kif 10246-10246
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ Sberbank.jpg") pictureList.kif 11804-11804
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Oregon_IL_Oregon_State_Savings_Bank2.jpg") pictureList.kif 11801-11801
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ State_savings_bank_ararat.jpg") pictureList.kif 11803-11803
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Troy_Savings_Bank.jpg") pictureList.kif 11800-11800
(subclass SavingsAccount InterestBearingAccount) FinancialOntology.kif 1028-1028 子類 儲蓄賬戶 and 計息賬戶

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


(subclass CertificateOfDeposit SavingsAccount) FinancialOntology.kif 1075-1075 子類 存款證 and 儲蓄賬戶
(subclass IndividualRetirementAccount SavingsAccount) FinancialOntology.kif 3384-3384 子類 個人退休賬戶 and 儲蓄賬戶
(subclass MoneyMarket SavingsAccount) FinancialOntology.kif 1054-1054 子類 貨幣市場 and 儲蓄賬戶
(subclass TraditionalSavingsAccount SavingsAccount) FinancialOntology.kif 1101-1101 子類 傳統儲蓄賬戶 and 儲蓄賬戶
(subclass TreasuryBill SavingsAccount) FinancialOntology.kif 1067-1067 子類 國庫券 and 儲蓄賬戶
(termFormat ChineseLanguage SavingsAccount "储蓄账户") domainEnglishFormat.kif 51357-51357
(termFormat ChineseTraditionalLanguage SavingsAccount "儲蓄賬戶") domainEnglishFormat.kif 51356-51356
(termFormat EnglishLanguage SavingsAccount "savings account") domainEnglishFormat.kif 51355-51355

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