| appearance as argument number 1 |
|
| (documentation FinancialDefault EnglishLanguage "Failure to make required debt payments on a timely basis or to comply with other conditions of an obligation or agreement.") | FinancialOntology.kif 2147-2148 | |
| (subclass FinancialDefault FinancialTransaction) | FinancialOntology.kif 2146-2146 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FinancialDefault "财务违约") | domainEnglishFormat.kif 23768-23768 | |
| (termFormat ChineseTraditionalLanguage FinancialDefault "財務違約") | domainEnglishFormat.kif 23767-23767 | |
| (termFormat EnglishLanguage FinancialDefault "financial default") | domainEnglishFormat.kif 23766-23766 |
| 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 2397-2406 | |
| (=> (and (instance ?Loan Loan) (securedBy ?Loan ?Security) (lender ?Loan ?Bank) (instance ?Default FinancialDefault) (patient ?Default ?Loan)) (holdsDuring (ImmediateFutureFn (WhenFn ?Default)) (possesses ?Bank ?Security))) |
FinancialOntology.kif 1334-1343 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners