SecuredLoan - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint SecuredLoan UnsecuredLoan)	FinancialOntology.kif 1346-1346
(subclass SecuredLoan Loan)	FinancialOntology.kif 1345-1345

appearance as argument number 2

(subclass Mortgage SecuredLoan)	FinancialOntology.kif 1376-1376
(termFormat ChineseLanguage SecuredLoan "担保贷款")	domainEnglishFormat.kif 51887-51887
(termFormat ChineseTraditionalLanguage SecuredLoan "擔保貸款")	domainEnglishFormat.kif 51886-51886
(termFormat EnglishLanguage SecuredLoan "secured loan")	domainEnglishFormat.kif 51885-51885

antecedent

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

FinancialOntology.kif 1348-1351

consequent

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

FinancialOntology.kif 1321-1326