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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialDefault
FinancialDefault(financial default)financial_default, 財務違約, 财务违约

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 2077-2078
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 2076-2076 Financial default is a subclass of financial transaction

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage FinancialDefault "财务违约") domainEnglishFormat.kif 23701-23701 "财务违约" is the printable form of financial default in ChineseLanguage
(termFormat ChineseTraditionalLanguage FinancialDefault "財務違約") domainEnglishFormat.kif 23700-23700 "財務違約" is the printable form of financial default in ChineseTraditionalLanguage
(termFormat EnglishLanguage FinancialDefault "financial default") domainEnglishFormat.kif 23699-23699 "financial default" is the printable form of financial default in english language

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 2318-2327
(=>
    (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 1275-1284


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners