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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SecuredLoan
SecuredLoan(secured loan)

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


(disjoint SecuredLoan UnsecuredLoan) FinancialOntology.kif 1346-1346 Secured loan is disjoint from unsecured loan
(subclass SecuredLoan Loan) FinancialOntology.kif 1345-1345 Secured loan is a subclass of loan

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


(subclass Mortgage SecuredLoan) FinancialOntology.kif 1376-1376 Mortgage is a subclass of secured loan
(termFormat ChineseLanguage SecuredLoan "担保贷款") domainEnglishFormat.kif 51885-51885
(termFormat ChineseTraditionalLanguage SecuredLoan "擔保貸款") domainEnglishFormat.kif 51884-51884
(termFormat EnglishLanguage SecuredLoan "secured loan") domainEnglishFormat.kif 51883-51883

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


(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))
FinancialOntology.kif 1348-1351 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

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


(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))
FinancialOntology.kif 1321-1326 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


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