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

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


(subclass Mortgage SecuredLoan) FinancialOntology.kif 1392-1392 Mortgage is a subclass of secured loan
(termFormat ChineseLanguage SecuredLoan "担保贷款") domainEnglishFormat.kif 51889-51889 Mortgage is a subclass of secured loan
(termFormat ChineseTraditionalLanguage SecuredLoan "擔保貸款") domainEnglishFormat.kif 51888-51888 Mortgage is a subclass of secured loan
(termFormat EnglishLanguage SecuredLoan "secured loan") domainEnglishFormat.kif 51887-51887 Mortgage is a subclass of secured loan

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


(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))
FinancialOntology.kif 1364-1367 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 1337-1342 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