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 1327-1328
(domain securedBy 1 FinancialAccount) FinancialOntology.kif 1330-1330 担保由 的 1 数量 是 金融账户instance
(domain securedBy 2 Collateral) FinancialOntology.kif 1331-1331 担保由 的 2 数量 是 抵押instance
(instance securedBy BinaryPredicate) FinancialOntology.kif 1329-1329 担保由二元谓语instance

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 2405-2414
(=>
    (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 1333-1342
(=>
    (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 1448-1465

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


(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))
FinancialOntology.kif 1320-1325 抵押抵押instance 若且唯若 有存在 金融账户 这样 那个 金融账户担保贷款instance那个 抵押那个 金融账户secured
(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))
FinancialOntology.kif 1347-1350 金融账户担保贷款instance 若且唯若 有存在 抵押 这样 那个 抵押那个 金融账户secured
(=>
    (and
        (instance ?Loan Mortgage)
        (loanForPurchase ?Loan ?RealEstate))
    (securedBy ?Loan ?RealEstate))
FinancialOntology.kif 1386-1390
(=>
    (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 1448-1465
(=>
    (instance ?Bond SecuredBond)
    (exists (?Security)
        (securedBy ?Bond ?Security)))
FinancialOntology.kif 2400-2403


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