SavingsAccount![]() ![]() ![]() ![]() | ![]() |
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 |
![]() |
![]() |