PiggybankLoan - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PiggybankLoan Loan)	FinancialOntology.kif 1601-1601	Piggybank loan is a subclass of loan
(documentation PiggybankLoan EnglishLanguage "Two lenders participating in the same loan.")	FinancialOntology.kif 1602-1602	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
        (CardinalityFn
            (KappaFn ?Lender
                (lender ?Loan ?Lender))) 2))

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