| BodyCovering | | 鞘, 皮膚移植, 上皮, 抜け殻, 上皮, 皮, 表皮, 角皮, 内皮, 中皮, 角質層, 顆粒層, 真皮, 外套, 外套膜, 形成層, 歯冠, 瞬膜, 結膜, 角膜, 内膜, 髄膜, 粘膜, 骨膜, 肋膜, 胸膜, 網膜, 心嚢, 心膜, 心外膜, 鞏膜, 髄鞘, 軟髄膜, 硬膜, 蜘蛛膜, 軟膜, 子宮内膜... |
| appearance as argument number 1 |
|
|
| (documentation BodyCovering ChineseLanguage "这是任何遮盖另外一个 BodyPart 或整个 Organism 的 BodyPart。 这包括 FruitOrVegetable 的果皮和 Animal 的皮肤。") | Merge.kif 15157-15158 | |
| (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 15154-15156 | |
| (subclass BodyCovering BodyPart) | Merge.kif 15153-15153 |
| appearance as argument number 2 |
|
|
| (subclass AnimalSkin BodyCovering) | Economy.kif 4305-4305 | |
| (subclass PlasmaMembrane BodyCovering) | VirusProteinAndCellPart.kif 297-297 | |
| (subclass Skin BodyCovering) | Mid-level-ontology.kif 9432-9432 | |
| (termFormat ChineseLanguage BodyCovering "身体外层") | chinese_format.kif 1019-1019 | |
| (termFormat EnglishLanguage BodyCovering "body covering") | english_format.kif 706-706 | |
| (termFormat FrenchLanguage BodyCovering "partie du corps en recouvrant une autre") | french_format.kif 697-697 | |
| (termFormat Hindi BodyCovering "sharIra aavaraNa") | terms-hindi.txt 228-228 | |
| (termFormat ItalianLanguage BodyCovering "RivestimentoDiOrganismi") | terms-it.txt 229-229 | |
| (termFormat PortugueseLanguage BodyCovering "parte do corpo recobrindo outra") | portuguese_format.kif 649-649 | |
| (termFormat ar BodyCovering "غِطَاء الجِسْم") | arabic_format.kif 433-433 | |
| (termFormat cb BodyCovering "pagtabong lawas") | terms-cb.txt 233-233 | |
| (termFormat cz BodyCovering "body covering") | terms-cz.txt 266-266 | |
| (termFormat tg BodyCovering "takip ng katawan") | terms-tg.txt 232-232 |
| antecedent |
|
|
| (=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 15160-15167 |
|
|
|