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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Collateral
Collateral(collateral)collateral

appearance as argument number 1
-------------------------


s__documentation(s__Collateral,s__EnglishLanguage,'"Assets pledged by a borrower to secure a loan or other credit, and subject to seizure in the event of FinancialDefault."')

FinancialOntology.kif 1272-1273
s__subclass(s__Collateral,s__FinancialAsset)

s__instance(s__Collateral,s__SetOrClass)

s__instance(s__FinancialAsset,s__SetOrClass)

FinancialOntology.kif 1271-1271 Collateral is a subclass of financial asset

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


s__termFormat(s__ChineseLanguage,s__Collateral,'"抵押"')

domainEnglishFormat.kif 15561-15561
s__termFormat(s__ChineseTraditionalLanguage,s__Collateral,'"抵押"')

domainEnglishFormat.kif 15560-15560
s__termFormat(s__EnglishLanguage,s__Collateral,'"collateral"')

domainEnglishFormat.kif 15559-15559

appearance as argument number 3
-------------------------


s__domain(s__appraisedValue__m,n__1,s__Collateral)

FinancialOntology.kif 1439-1439 The number 1 argument of appraised value is an instance of collateral
s__domain(s__faceValue__m,n__1,s__Collateral)

FinancialOntology.kif 2248-2248 The number 1 argument of face value is an instance of collateral
s__domain(s__securedBy__m,n__2,s__Collateral)

FinancialOntology.kif 1286-1286 The number 2 argument of secured by is an instance of collateral

antecedent
-------------------------


( ! [V__Collateral] :
   (((s__instance(V__Collateral,s__Collateral) =>
         ( ? [V__Loan] :
           ((s__instance(V__Loan,s__SecuredLoan) &
               s__securedBy(V__Loan,V__Collateral)))))
     &
     (( ? [V__Loan] :
         ((s__instance(V__Loan,s__SecuredLoan) &
             s__securedBy(V__Loan,V__Collateral))))
     =>
     s__instance(V__Collateral,s__Collateral)))
)
)

FinancialOntology.kif 1275-1280 A collateral is an instance of collateral if and only if there exists a financial account such that the financial account is an instance of secured loan and the collateral is a secured by of the financial account


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