TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Collateral FinancialAsset)	FinancialOntology.kif 1356-1356	Collateral is a subclass of financial asset
(documentation Collateral EnglishLanguage "Assets pledged by a borrower to secure a loan or other credit, and subject to seizure in the event of FinancialDefault.")	FinancialOntology.kif 1357-1358	Collateral is a subclass of financial asset

appearance as argument number 2

(termFormat EnglishLanguage Collateral "collateral")	domainEnglishFormat.kif 15566-15566
(termFormat ChineseTraditionalLanguage Collateral "抵押")	domainEnglishFormat.kif 15567-15567
(termFormat ChineseLanguage Collateral "抵押")	domainEnglishFormat.kif 15568-15568

appearance as argument number 3

(domain securedBy 2 Collateral)	FinancialOntology.kif 1371-1371	The number 2 argument of secured by is an instance of collateral
(domain appraisedValue 1 Collateral)	FinancialOntology.kif 1527-1527	The number 1 argument of appraised value is an instance of collateral
(domain faceValue 1 Collateral)	FinancialOntology.kif 2340-2340	The number 1 argument of face value is an instance of collateral

antecedent

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