TraditionalSavingsAccount |
appearance as argument number 1 |
(documentation TraditionalSavingsAccount EnglishLanguage "Accounts that pay interest, usually at below-market interest rates, that do not have a specific maturity, and that usually can be withdrawn upon demand") | FinancialOntology.kif 1102-1103 | |
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Soviet_Union-Savings-bank_book.jpg") | pictureList.kif 10300-10300 | |
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ Sberbank.jpg") | pictureList.kif 12017-12017 | |
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ d/ d1/ State_savings_bank_ararat.jpg") | pictureList.kif 12016-12016 | |
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ f/ f1/ Troy_Savings_Bank.jpg") | pictureList.kif 12015-12015 | |
(subclass TraditionalSavingsAccount SavingsAccount) | FinancialOntology.kif 1101-1101 | TraditionalSavingsAccount e' uma sub-classe de SavingsAccount |
appearance as argument number 2 |
(termFormat ChineseLanguage TraditionalSavingsAccount "传统储蓄账户") | domainEnglishFormat.kif 58750-58750 | |
(termFormat ChineseTraditionalLanguage TraditionalSavingsAccount "傳統儲蓄賬戶") | domainEnglishFormat.kif 58749-58749 | |
(termFormat EnglishLanguage TraditionalSavingsAccount "traditional savings account") | domainEnglishFormat.kif 58748-58748 |
antecedent |
(=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?Account))) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) |
FinancialOntology.kif 1115-1124 |
|
(=> (instance ?Account TraditionalSavingsAccount) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1105-1107 | |
(=> (instance ?Account TraditionalSavingsAccount) (not (exists (?Date) (maturityDate ?Account ?Date)))) |
FinancialOntology.kif 1109-1113 |