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

Formal Language: 



KB Term:  Term intersection
English Word: 

  securedBy

Sigma KEE - securedBy
securedBy

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


(documentation securedBy 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
(domain securedBy 1 FinancialAccount) FinancialOntology.kif 1285-1285
(domain securedBy 2 Collateral) FinancialOntology.kif 1286-1286
(instance securedBy BinaryPredicate) FinancialOntology.kif 1284-1284

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


(format ChineseLanguage securedBy "%2 %n 是 %1 的 secured ") domainEnglishFormat.kif 2243-2243
(format ChineseTraditionalLanguage securedBy "%2 %n 是 %1 的 secured ") domainEnglishFormat.kif 2242-2242
(format EnglishLanguage securedBy "%2 is %n a secured by of %1") domainEnglishFormat.kif 2241-2241
(termFormat ChineseLanguage securedBy "担保由") domainEnglishFormat.kif 51862-51862
(termFormat ChineseTraditionalLanguage securedBy "擔保由") domainEnglishFormat.kif 51861-51861
(termFormat EnglishLanguage securedBy "secured by") domainEnglishFormat.kif 51860-51860

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 2359-2368
(=>
    (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 1288-1297
(=>
    (and
        (instance ?Refinancing Refinancing)
        (time ?Refinancing ?Time)
        (instance ?Loan Loan)
        (securedBy ?Loan ?Collateral)
        (borrower ?Loan ?Borrower)
        (currentAccountBalance ?Loan ?Time ?Amount)
        (patient ?Refinancing ?Loan))
    (exists (?NewLoan ?Payment)
        (and
            (instance ?NewLoan Loan)
            (borrower ?NewLoan ?Borrower)
            (securedBy ?Loan ?Collateral)
            (destination ?Payment
                (CurrencyFn ?Loan))
            (time ?Payment ?Time)
            (origin ?Payment
                (CurrencyFn ?NewLoan))
            (transactionAmount ?Payment ?Amount))))
FinancialOntology.kif 1403-1420

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


(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))
FinancialOntology.kif 1275-1280
(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))
FinancialOntology.kif 1302-1305
(=>
    (and
        (instance ?Loan Mortgage)
        (loanForPurchase ?Loan ?RealEstate))
    (securedBy ?Loan ?RealEstate))
FinancialOntology.kif 1341-1345
(=>
    (and
        (instance ?Refinancing Refinancing)
        (time ?Refinancing ?Time)
        (instance ?Loan Loan)
        (securedBy ?Loan ?Collateral)
        (borrower ?Loan ?Borrower)
        (currentAccountBalance ?Loan ?Time ?Amount)
        (patient ?Refinancing ?Loan))
    (exists (?NewLoan ?Payment)
        (and
            (instance ?NewLoan Loan)
            (borrower ?NewLoan ?Borrower)
            (securedBy ?Loan ?Collateral)
            (destination ?Payment
                (CurrencyFn ?Loan))
            (time ?Payment ?Time)
            (origin ?Payment
                (CurrencyFn ?NewLoan))
            (transactionAmount ?Payment ?Amount))))
FinancialOntology.kif 1403-1420
(=>
    (instance ?Bond SecuredBond)
    (exists (?Security)
        (securedBy ?Bond ?Security)))
FinancialOntology.kif 2354-2357


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