| BodyCovering(body covering) | | abdominal_wall, adventitia, albuginea, arachnoid, arachnoid_membrane, axolemma, body_covering, buff, bulbar_conjunctiva, calculus, calyptra, cambium, case, caul, conjunctiva, conjunctival_layer_of_bulb, conjunctival_layer_of_eyelids, corium, cornea, corneum, crown, cuticle, dander, dandruff, derma, dermis, dewlap, dura, dura_mater, eggshell, embryonic_membrane, endometrium, endosperm, endothelium, epicardium, epicarp, epicranium, epidermis, episperm, epithelial_tissue, epithelium, exfoliation, exocarp, exuviae, haw, headful, horny_layer, integument, intima, lens_capsule... |
| appearance as argument number 1 |
|
|
| (documentation BodyCovering ChineseLanguage "这是任何遮盖另外一个 BodyPart 或整个 Organism 的 BodyPart。 这包括 FruitOrVegetable 的果皮和 Animal 的皮肤。") | chinese_format.kif 3511-3512 | |
| (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 14824-14826 | |
| (subclass BodyCovering BodyPart) | Merge.kif 14823-14823 | Body covering is a subclass of body part |
| appearance as argument number 2 |
|
|
| (subclass AnimalSkin BodyCovering) | Economy.kif 4458-4458 | AnimalSkin is a subclass of body covering |
| (subclass PlasmaMembrane BodyCovering) | VirusProteinAndCellPart.kif 300-300 | Plasma membrane is a subclass of body covering |
| (subclass Skin BodyCovering) | Mid-level-ontology.kif 10542-10542 | Skin is a subclass of body covering |
| (termFormat ChineseLanguage BodyCovering "身体外层") | chinese_format.kif 1019-1019 | |
| (termFormat EnglishLanguage BodyCovering "body covering") | english_format.kif 1250-1250 |
| antecedent |
|
|
| (=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 14828-14835 |
|
|
|
|