| SecuredBond(secured bond) | | secured_bond |
| appearance as argument number 1 |
|
|
| (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 2402-2404 | |
| (subclass SecuredBond Bond) | FinancialOntology.kif 2401-2401 | Secured bond is a subclass of bond |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SecuredBond "担保债券") | domainEnglishFormat.kif 51906-51906 | |
| (termFormat ChineseTraditionalLanguage SecuredBond "擔保債券") | domainEnglishFormat.kif 51905-51905 | |
| (termFormat EnglishLanguage SecuredBond "secured bond") | domainEnglishFormat.kif 51904-51904 |
| antecedent |
|
|
| (=> (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 2411-2420 |
|
| (=> (instance ?Bond SecuredBond) (exists (?Security) (securedBy ?Bond ?Security))) |
FinancialOntology.kif 2406-2409 |
|
|
|
|