Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CallableBond(callable bond) |
| appearance as argument number 1 |
|
| (subclass CallableBond Bond) | FinancialOntology.kif 2514-2514 | Callable bond is a subclass of bond |
| (documentation CallableBond EnglishLanguage "A bond which the issuer has the right to redeem prior to its maturity date, under certain conditions.") | FinancialOntology.kif 2515-2516 | Callable bond is a subclass of bond |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Bond CallableBond) (issuedBy ?Bond ?Agent)) (capability Call agent ?Agent)) |
FinancialOntology.kif 2518-2522 | If X is an instance of callable bond and Y is an issued by of X, then Y is capable of doing call as a agent |
| (=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2530-2535 | If X is an instance of callable bond, the account of X current account balance Y for Z, and Y is a call date of X, then the account of X amount due Z for Y |
|