Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 1367-1368
(instance securedBy BinaryPredicate) FinancialOntology.kif 1369-1369 secured by is an instance of binary predicate
(domain securedBy 1 FinancialAccount) FinancialOntology.kif 1370-1370 The number 1 argument of secured by is an instance of financial account
(domain securedBy 2 Collateral) FinancialOntology.kif 1371-1371 The number 2 argument of secured by is an instance of collateral

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


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

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


(=>
    (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 1373-1383 If X is an instance of loan, Y is a secured by of X, Z lends X, W is an instance of financial default, and X is a patient of W, then Z possesses Y holds during immediately after the time of existence of W
(=>
    (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 1491-1508 If All of the following hold: (1) X is an instance of refinancing (2) X exists during Y (3) Z is an instance of loan (4) W is a secured by of Z (5) Z is the borrower of V (6) Z current account balance Y for U (7) Z is a patient of X, then All of the following hold: (1) there exist T (2) S such that T is an instance of loan (3) T is the borrower of V (4) W is a secured by of Z (5) S ends up at the currency of Z (6) S exists during Y (7) S originates at the currency of T (8) U is a transaction amount of S
(=>
    (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 2438-2447 If X is an instance of secured bond, Y is a secured by of X, Z possesses X, W is an instance of financial default, and X is a patient of W, then Z possesses Y holds during immediately after the time of existence of W

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


(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))		 FinancialOntology.kif 1360-1365 X is an instance of collateral if, only if there exists Y such that Y is an instance of secured loan, and X is a secured by of Y
(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))		 FinancialOntology.kif 1388-1391 X is an instance of secured loan if and only if there exists Y such that Y is a secured by of X
(=>
    (and
        (instance ?Loan Mortgage)
        (loanForPurchase ?Loan ?RealEstate))
    (securedBy ?Loan ?RealEstate))		 FinancialOntology.kif 1427-1431 If X is an instance of mortgage and Y is a loan for purchase of X, then Y is a secured by of X
(=>
    (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 1491-1508 If All of the following hold: (1) X is an instance of refinancing (2) X exists during Y (3) Z is an instance of loan (4) W is a secured by of Z (5) Z is the borrower of V (6) Z current account balance Y for U (7) Z is a patient of X, then All of the following hold: (1) there exist T (2) S such that T is an instance of loan (3) T is the borrower of V (4) W is a secured by of Z (5) S ends up at the currency of Z (6) S exists during Y (7) S originates at the currency of T (8) U is a transaction amount of S
(=>
    (instance ?Bond SecuredBond)
    (exists (?Security)
        (securedBy ?Bond ?Security)))		 FinancialOntology.kif 2433-2436 If X is an instance of secured bond, then there exists Y such that Y is a secured by of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners