Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SecuredBond(secured bond) |  | secured_bond |
| appearance as argument number 1 |
|
|
| (subclass SecuredBond Bond) | FinancialOntology.kif 2428-2428 | Secured bond is a subclass of bond |
| (documentation SecuredBond EnglishLanguage "Bond backed by collateral, such as a mortgage or lien, the title to which would be transferred to the bondholders in the event of default.") | FinancialOntology.kif 2429-2431 | Secured bond is a subclass of bond |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Bond SecuredBond) (exists (?Security) (securedBy ?Bond ?Security))) |
FinancialOntology.kif 2433-2436 | If X is an instance of secured bond, then there exists Y such that Y is a secured by of X |
| (=> (and (instance ?Bond SecuredBond) (securedBy ?Bond ?Security) (possesses ?Agent ?Bond) (instance ?Default FinancialDefault) (patient ?Default ?Bond)) (holdsDuring (ImmediateFutureFn (WhenFn ?Default)) (possesses ?Agent ?Security))) |
FinancialOntology.kif 2438-2447 | If X is an instance of secured bond, Y is a secured by of X, Z possesses X, W is an instance of financial default, and X is a patient of W, then Z possesses Y holds during immediately after the time of existence of W |
|