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 1287-1287 Secured loan is disjoint from unsecured loan
(subclass SecuredLoan Loan) FinancialOntology.kif 1286-1286 Secured loan is a subclass of loan

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


(subclass Mortgage SecuredLoan) FinancialOntology.kif 1317-1317 Mortgage is a subclass of secured loan
(termFormat ChineseLanguage SecuredLoan "担保贷款") domainEnglishFormat.kif 51782-51782
(termFormat ChineseTraditionalLanguage SecuredLoan "擔保貸款") domainEnglishFormat.kif 51781-51781
(termFormat EnglishLanguage SecuredLoan "secured loan") domainEnglishFormat.kif 51780-51780

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


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

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


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