| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3511-3512 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15143-15145 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15142-15142 | Body covering is a subclass of body part |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 351-351 | Plasma membrane is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11810-11810 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1019-1019 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1250-1250 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 697-697 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 228-228 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 231-231 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2380-2380 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 649-649 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 233-233 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 266-266 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 525-525 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 718-718 | Skin is a subclass of body covering |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 232-232 | Skin is a subclass of body covering |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15147-15154 |
|
|
|
|