| CertificateOfDeposit(certificate of deposit) | | CD, certificate_of_deposit, time_deposit |
| appearance as argument number 1 |
|
|
| s__documentation(s__CertificateOfDeposit,s__EnglishLanguage,'"CDs (certificates of deposit) are bank, credit union or savings and loan instruments that allow the depositor to lock in an interest rate for a specific period of time (e.g. six months, one year, five years). If the money is withdrawn from the CD before the CD matures, there is likely to be an early-withdrawal penalty -- often three months interest. Generally, the longer the time period of the CD, the higher the interest paid."')
|
FinancialOntology.kif 1030-1034 | |
| s__instance(s__CertificateOfDeposit,s__SetOrClass) s__subclass(s__CertificateOfDeposit,s__SavingsAccount) s__instance(s__SavingsAccount,s__SetOrClass)
|
FinancialOntology.kif 1029-1029 | Certificate of deposit is a subclass of savings account |
| appearance as argument number 2 |
|
|
| s__termFormat(s__ChineseLanguage,s__CertificateOfDeposit,'"存款证"')
|
domainEnglishFormat.kif 13965-13965 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__CertificateOfDeposit,'"存款證"')
|
domainEnglishFormat.kif 13964-13964 | |
| s__termFormat(s__EnglishLanguage,s__CertificateOfDeposit,'"certificate of deposit"')
|
domainEnglishFormat.kif 13963-13963 |
| antecedent |
|
|
| ( ! [V__CD,V__DateOfWithdrawal,V__Withdrawal,V__MaturityDate] : (((s__instance(V__DateOfWithdrawal,s__Day) & s__instance(V__MaturityDate,s__Day)) => (((s__instance(V__CD,s__CertificateOfDeposit) & s__maturityDate(V__CD,V__MaturityDate) & s__instance(V__Withdrawal,s__Withdrawal) & s__origin(V__Withdrawal,s__CurrencyFn(V__CD)) & s__date(V__Withdrawal,V__DateOfWithdrawal) & s__before(s__EndFn(V__DateOfWithdrawal) ,s__BeginFn(V__MaturityDate))) => (( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__CD)) & s__causes(V__Withdrawal,V__Penalty)))))))) ) )
|
FinancialOntology.kif 1041-1053 |
|
| ( ! [V__CD] : ((s__instance(V__CD,s__CertificateOfDeposit) => (( ? [V__Date] : ((s__instance(V__Date,s__Day) & s__maturityDate(V__CD,V__Date)))))) ) )
|
FinancialOntology.kif 1036-1039 |
|
|
|
|