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

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


(subclass Mortgage SecuredLoan) FinancialOntology.kif 1330-1330 Mortgage is a subclass of secured loan
(termFormat ChineseLanguage SecuredLoan "担保贷款") domainEnglishFormat.kif 51868-51868
(termFormat ChineseTraditionalLanguage SecuredLoan "擔保貸款") domainEnglishFormat.kif 51867-51867
(termFormat EnglishLanguage SecuredLoan "secured loan") domainEnglishFormat.kif 51866-51866

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


(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))
FinancialOntology.kif 1302-1305 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 1275-1280 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