TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PiggybankLoan Loan)	FinancialOntology.kif 1627-1627	Piggybank loan is a subclass of loan
(documentation PiggybankLoan EnglishLanguage "Two lenders participating in the same loan.")	FinancialOntology.kif 1628-1628	Piggybank loan is a subclass of loan
(externalImage PiggybankLoan "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Sparschwein_Haspa01.jpg")	pictureList.kif 8655-8655	Piggybank loan is a subclass of loan

appearance as argument number 2

(termFormat EnglishLanguage PiggybankLoan "piggybank loan")	domainEnglishFormat.kif 45827-45827
(termFormat ChineseTraditionalLanguage PiggybankLoan "儲錢貸款")	domainEnglishFormat.kif 45828-45828
(termFormat ChineseLanguage PiggybankLoan "储钱贷款")	domainEnglishFormat.kif 45829-45829

antecedent

(=>
    (instance ?Loan PiggybankLoan)
    (equal 2
        (CardinalityFn
            (KappaFn ?Lender
                (lender ?Loan ?Lender)))))

If X is an instance of piggybank loan, then equal 2 and the number of instances in the class described by Y