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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

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 1344-1345
(domain securedBy 1 FinancialAccount) FinancialOntology.kif 1347-1347
(domain securedBy 2 Collateral) FinancialOntology.kif 1348-1348
(instance securedBy BinaryPredicate) FinancialOntology.kif 1346-1346

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


(format ChineseLanguage securedBy "%2 %n 是 %1 的 secured ") domainEnglishFormat.kif 2247-2247
(format ChineseTraditionalLanguage securedBy "%2 %n 是 %1 的 secured ") domainEnglishFormat.kif 2246-2246
(format EnglishLanguage securedBy "%2 is %n a secured by of %1") domainEnglishFormat.kif 2245-2245
(termFormat ChineseLanguage securedBy "担保由") domainEnglishFormat.kif 51883-51883
(termFormat ChineseTraditionalLanguage securedBy "擔保由") domainEnglishFormat.kif 51882-51882
(termFormat EnglishLanguage securedBy "secured by") domainEnglishFormat.kif 51881-51881

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 2414-2423
(=>
    (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 1350-1359
(=>
    (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 1465-1482

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


(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))
FinancialOntology.kif 1337-1342
(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))
FinancialOntology.kif 1364-1367
(=>
    (and
        (instance ?Loan Mortgage)
        (loanForPurchase ?Loan ?RealEstate))
    (securedBy ?Loan ?RealEstate))
FinancialOntology.kif 1403-1407
(=>
    (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 1465-1482
(=>
    (instance ?Bond SecuredBond)
    (exists (?Security)
        (securedBy ?Bond ?Security)))
FinancialOntology.kif 2409-2412


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