| 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 10298-10298 | |
| (externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ Sberbank.jpg") | pictureList.kif 12010-12010 | |
| (externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ d/ d1/ State_savings_bank_ararat.jpg") | pictureList.kif 12009-12009 | |
| (externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ f/ f1/ Troy_Savings_Bank.jpg") | pictureList.kif 12008-12008 | |
| (subclass TraditionalSavingsAccount SavingsAccount) | FinancialOntology.kif 1101-1101 | 子類 傳統儲蓄賬戶 and 儲蓄賬戶 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TraditionalSavingsAccount "传统储蓄账户") | domainEnglishFormat.kif 58785-58785 | |
| (termFormat ChineseTraditionalLanguage TraditionalSavingsAccount "傳統儲蓄賬戶") | domainEnglishFormat.kif 58784-58784 | |
| (termFormat EnglishLanguage TraditionalSavingsAccount "traditional savings account") | domainEnglishFormat.kif 58783-58783 |
| 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 | |
| (=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal)) (exists (?A) (and (patient ?Withdrawal ?Account) (agent ?Withdrawal ?A) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (patient ?Penalty ?A))))))) |
FinancialOntology.kif 1126-1138 | |
| (=> (instance ?Account TraditionalSavingsAccount) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1105-1107 | |
| (=> (instance ?Account TraditionalSavingsAccount) (not (exists (?Date) (maturityDate ?Account ?Date)))) |
FinancialOntology.kif 1109-1113 |
|
|
|