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 11801-11801 | |
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Soviet_Union-Savings-bank_book.jpg") | pictureList.kif 10245-10245 | |
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ Sberbank.jpg") | pictureList.kif 11803-11803 | |
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Oregon_IL_Oregon_State_Savings_Bank2.jpg") | pictureList.kif 11800-11800 | |
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ State_savings_bank_ararat.jpg") | pictureList.kif 11802-11802 | |
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Troy_Savings_Bank.jpg") | pictureList.kif 11799-11799 | |
(subclass SavingsAccount InterestBearingAccount) | FinancialOntology.kif 1028-1028 |
appearance as argument number 2 |
(subclass CertificateOfDeposit SavingsAccount) | FinancialOntology.kif 1075-1075 | |
(subclass IndividualRetirementAccount SavingsAccount) | FinancialOntology.kif 3384-3384 | |
(subclass MoneyMarket SavingsAccount) | FinancialOntology.kif 1054-1054 | |
(subclass TraditionalSavingsAccount SavingsAccount) | FinancialOntology.kif 1101-1101 | |
(subclass TreasuryBill SavingsAccount) | FinancialOntology.kif 1067-1067 | |
(termFormat ChineseLanguage SavingsAccount "储蓄账户") | domainEnglishFormat.kif 51392-51392 | |
(termFormat ChineseTraditionalLanguage SavingsAccount "儲蓄賬戶") | domainEnglishFormat.kif 51391-51391 | |
(termFormat EnglishLanguage SavingsAccount "savings account") | domainEnglishFormat.kif 51390-51390 |
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 |