Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialDefault

Sigma KEE - FinancialDefault
FinancialDefault(財務違約)

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 子類 財務違約 and FinancialTransaction

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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