TreeView Knowledge Base Browser

appearance as argument number 1

(subclass BodyCovering BodyPart)	Merge.kif 15368-15368	Body covering is a subclass of body part
(documentation BodyCovering EnglishLanguage "Any BodyPart which is a covering of another BodyPart or of an entire Organism. This would include the rinds of FruitOrVegetables and the skins of Animals.")	Merge.kif 15369-15371	Body covering is a subclass of body part

appearance as argument number 2

(subclass Skin BodyCovering)	Mid-level-ontology.kif 12464-12464	Skin is a subclass of body covering
(subclass PlasmaMembrane BodyCovering)	VirusProteinAndCellPart.kif 356-356	Plasma membrane is a subclass of body covering
(termFormat EnglishLanguage BodyCovering "body covering")	english_format.kif 1254-1254	Plasma membrane is a subclass of body covering

antecedent

(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))

If X is an instance of body covering, then there exists Y such that X is a superficial part of Y and Y is an instance of organism or Y is an instance of body part