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
-------------------------


(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 1269-1270
(domain securedBy 1 FinancialAccount) FinancialOntology.kif 1272-1272 The number 1 argument of secured by is an instance of financial account
(domain securedBy 2 Collateral) FinancialOntology.kif 1273-1273 The number 2 argument of secured by is an instance of collateral
(instance securedBy BinaryPredicate) FinancialOntology.kif 1271-1271 secured by is an instance of binary predicate

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


(format ChineseLanguage securedBy "%2 %n 是 %1 的 secured ") domainEnglishFormat.kif 2239-2239
(format ChineseTraditionalLanguage securedBy "%2 %n 是 %1 的 secured ") domainEnglishFormat.kif 2238-2238
(format EnglishLanguage securedBy "%2 is %n a secured by of %1") domainEnglishFormat.kif 2237-2237
(termFormat ChineseLanguage securedBy "担保由") domainEnglishFormat.kif 51817-51817 "担保由" is the printable form of secured by in ChineseLanguage
(termFormat ChineseTraditionalLanguage securedBy "擔保由") domainEnglishFormat.kif 51816-51816 "擔保由" is the printable form of secured by in ChineseTraditionalLanguage
(termFormat EnglishLanguage securedBy "secured by") domainEnglishFormat.kif 51815-51815 "secured by" is the printable form of secured by 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
(=>
    (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 1390-1407

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


(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))
FinancialOntology.kif 1262-1267 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
(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))
FinancialOntology.kif 1289-1292 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
(=>
    (and
        (instance ?Loan Mortgage)
        (loanForPurchase ?Loan ?RealEstate))
    (securedBy ?Loan ?RealEstate))
FinancialOntology.kif 1328-1332
(=>
    (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 1390-1407
(=>
    (instance ?Bond SecuredBond)
    (exists (?Security)
        (securedBy ?Bond ?Security)))
FinancialOntology.kif 2313-2316


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