TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Pelt AnimalProduct)	Economy.kif 5375-5375	Pelt is a subclass of animal product
(documentation Pelt EnglishLanguage "Pelt is the subclass of AnimalProduct that comprises the pelts or hides of animals that are used in the manufacture of wearable or household items.")	Economy.kif 5378-5379	Pelt is a subclass of animal product
(subclass Pelt AnimalAgriculturalArtifact)	Society.kif 1072-1072	Pelt is a subclass of AnimalAgriculturalArtifact
(externalImage Pelt "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Fur_redfox.jpg")	pictureList.kif 10184-10184	Pelt is a subclass of AnimalAgriculturalArtifact

appearance as argument number 2

(names "pelt" Pelt)	Economy.kif 5376-5376	Pelt has name "pelt"
(names "hide" Pelt)	Economy.kif 5377-5377	Pelt has name "hide"
(subclass Lambskin Pelt)	Economy.kif 5387-5387	Lambskin is a subclass of pelt
(subclass Sheepskin Pelt)	Economy.kif 5397-5397	Sheepskin is a subclass of pelt
(termFormat EnglishLanguage Pelt "pelt")	domainEnglishFormat.kif 44969-44969	Sheepskin is a subclass of pelt
(termFormat ChineseTraditionalLanguage Pelt "毛皮")	domainEnglishFormat.kif 44970-44970	Sheepskin is a subclass of pelt
(termFormat ChineseLanguage Pelt "毛皮")	domainEnglishFormat.kif 44971-44971	Sheepskin is a subclass of pelt

antecedent

(=>
    (and
        (equal ?P
            (OrganicObjectFn ?S))
        (subclass ?P Pelt))
    (subclass ?S Skin))

If equal X and Object made from Y and X is a subclass of pelt, then Y is a subclass of skin