Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CertificateOfDeposit(certificate of deposit) |  | CD, certificate_of_deposit, time_deposit |
| appearance as argument number 1 |
|
|
| (subclass CertificateOfDeposit SavingsAccount) | FinancialOntology.kif 1100-1100 | Certificate of deposit is a subclass of savings account |
| (documentation CertificateOfDeposit 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 month's interest. Generally, the longer the time period of the CD, the higher the interest paid.") | FinancialOntology.kif 1101-1105 | Certificate of deposit is a subclass of savings account |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CD CertificateOfDeposit) (exists (?Date) (maturityDate ?CD ?Date))) |
FinancialOntology.kif 1107-1110 | If X is an instance of certificate of deposit, then there exists Y such that Y is a maturity date of X |
| (=> (and (instance ?CD CertificateOfDeposit) (maturityDate ?CD ?MaturityDate) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?CD)) (date ?Withdrawal ?DateOfWithdrawal) (before (EndFn ?DateOfWithdrawal) (BeginFn ?MaturityDate))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?CD)) (causes ?Withdrawal ?Penalty)))) |
FinancialOntology.kif 1112-1124 | If All of the following hold: (1) X is an instance of certificate of deposit (2) Y is a maturity date of X (3) Z is an instance of withdrawing from an account (4) Z originates at the currency of X (5) date of Z is W (6) the end of W happens before the beginning of Y, then there exists V such that V is an instance of penalizing, V ends up at the currency of X, and Z causes V |
|