more pictures...
| 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 8983-8983 |
| 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 |
|
|
|