SecuredLoan - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass Mortgage SecuredLoan)	FinancialOntology.kif 1416-1416	Mortgage is a subclass of secured loan
(termFormat EnglishLanguage SecuredLoan "secured loan")	domainEnglishFormat.kif 51880-51880	Mortgage is a subclass of secured loan
(termFormat ChineseTraditionalLanguage SecuredLoan "擔保貸款")	domainEnglishFormat.kif 51881-51881	Mortgage is a subclass of secured loan
(termFormat ChineseLanguage SecuredLoan "担保贷款")	domainEnglishFormat.kif 51882-51882	Mortgage is a subclass of secured loan

antecedent

(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))

X is an instance of secured loan if and only if there exists Y such that Y is a secured by of X

consequent

(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))

X is an instance of collateral if, only if there exists Y such that Y is an instance of secured loan, and X is a secured by of Y