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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - securedBy
securedBy

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


s__documentation(s__securedBy__m,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 1282-1283
s__domain(s__securedBy__m,n__1,s__FinancialAccount)

FinancialOntology.kif 1285-1285 The number 1 argument of secured by is an instance of financial account
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
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__securedBy__m,s__BinaryPredicate)

FinancialOntology.kif 1284-1284 secured by is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__securedBy__m,'"%2 %n 是 %1 的 secured "')

domainEnglishFormat.kif 2243-2243
s__format(s__ChineseTraditionalLanguage,s__securedBy__m,'"%2 %n 是 %1 的 secured "')

domainEnglishFormat.kif 2242-2242
s__format(s__EnglishLanguage,s__securedBy__m,'"%2 is %n a secured by of %1"')

domainEnglishFormat.kif 2241-2241
s__termFormat(s__ChineseLanguage,s__securedBy__m,'"担保由"')

domainEnglishFormat.kif 51862-51862
s__termFormat(s__ChineseTraditionalLanguage,s__securedBy__m,'"擔保由"')

domainEnglishFormat.kif 51861-51861
s__termFormat(s__EnglishLanguage,s__securedBy__m,'"secured by"')

domainEnglishFormat.kif 51860-51860

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2359-2368
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1288-1297
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Time,s__Day) &
         s__instance(V__Collateral,s__Collateral) &
         s__instance(V__Borrower,s__CognitiveAgent))
       =>
       (((s__instance(V__Refinancing,s__Refinancing) &
             s__time(V__Refinancing,V__Time)
           &
           s__instance(V__Loan,s__Loan) &
           s__securedBy(V__Loan,V__Collateral)
         &
         s__borrower(V__Loan,V__Borrower)
       &
       s__currentAccountBalance(V__Loan,V__Time,V__Amount)
     &
     s__patient(V__Refinancing,V__Loan))
=>
(( ? [V__NewLoan, V__Payment] :
     ((s__instance(V__Payment,s__FinancialTransaction) &
         (s__instance(V__NewLoan,s__Loan) &
           s__borrower(V__NewLoan,V__Borrower)
         &
         s__securedBy(V__Loan,V__Collateral)
       &
       s__destination(V__Payment,s__CurrencyFn(V__Loan))
   &
   s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount)))))))))
)
)

FinancialOntology.kif 1403-1420

consequent
-------------------------


( ! [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
( ! [V__Loan] :
   (((s__instance(V__Loan,s__SecuredLoan) =>
         ( ? [V__Security] :
           ((s__instance(V__Security,s__Collateral) &
               s__securedBy(V__Loan,V__Security)))))
     &
     (( ? [V__Security] :
         ((s__instance(V__Security,s__Collateral) &
             s__securedBy(V__Loan,V__Security))))
     =>
     s__instance(V__Loan,s__SecuredLoan)))
)
)

FinancialOntology.kif 1302-1305 A financial account is an instance of secured loan if and only if there exists a collateral such that the collateral is a secured by of the financial account
( ! [V__RealEstate,V__Loan] :
   (((s__instance(V__RealEstate,s__Object) &
         s__instance(V__RealEstate,s__Collateral))
       =>
       (((s__instance(V__Loan,s__Mortgage) &
             s__loanForPurchase(V__Loan,V__RealEstate))
         =>
         (s__securedBy(V__Loan,V__RealEstate)))))
)
)

FinancialOntology.kif 1341-1345
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Time,s__Day) &
         s__instance(V__Collateral,s__Collateral) &
         s__instance(V__Borrower,s__CognitiveAgent))
       =>
       (((s__instance(V__Refinancing,s__Refinancing) &
             s__time(V__Refinancing,V__Time)
           &
           s__instance(V__Loan,s__Loan) &
           s__securedBy(V__Loan,V__Collateral)
         &
         s__borrower(V__Loan,V__Borrower)
       &
       s__currentAccountBalance(V__Loan,V__Time,V__Amount)
     &
     s__patient(V__Refinancing,V__Loan))
=>
(( ? [V__NewLoan, V__Payment] :
     ((s__instance(V__Payment,s__FinancialTransaction) &
         (s__instance(V__NewLoan,s__Loan) &
           s__borrower(V__NewLoan,V__Borrower)
         &
         s__securedBy(V__Loan,V__Collateral)
       &
       s__destination(V__Payment,s__CurrencyFn(V__Loan))
   &
   s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount)))))))))
)
)

FinancialOntology.kif 1403-1420
( ! [V__Bond] :
   ((s__instance(V__Bond,s__SecuredBond) =>
       (( ? [V__Security] :
           ((s__instance(V__Security,s__Collateral) &
               s__securedBy(V__Bond,V__Security))))))
   )
)

FinancialOntology.kif 2354-2357


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