| BodyCovering(ボディカバー) | |
| appearance as argument number 1 |
|
|
| (documentation BodyCovering ChineseLanguage "这是任何遮盖另外一个 BodyPart 或整个 Organism 的 BodyPart。 这包括 FruitOrVegetable 的果皮和 Animal 的皮肤。") | Merge.kif 15215-15216 | |
| (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 15212-15214 | |
| (subclass BodyCovering BodyPart) | Merge.kif 15211-15211 | subclass ボディカバー and 体の部分 |
| appearance as argument number 2 |
|
|
| (subclass AnimalSkin BodyCovering) | Economy.kif 4305-4305 | subclass AnimalSkin and ボディカバー |
| (subclass PlasmaMembrane BodyCovering) | VirusProteinAndCellPart.kif 297-297 | subclass PlasmaMembrane and ボディカバー |
| (subclass Skin BodyCovering) | Mid-level-ontology.kif 9432-9432 | subclass Skin and ボディカバー |
| (termFormat ChineseLanguage BodyCovering "身体外层") | chinese_format.kif 1019-1019 | termFormat ChineseLanguage, ボディカバー and "身体外层" |
| (termFormat EnglishLanguage BodyCovering "body covering") | english_format.kif 1128-1128 | termFormat EnglishLanguage, ボディカバー and "body covering" |
| (termFormat JapaneseLanguage BodyCovering "ボディカバー") | english_format.kif 1129-1129 | termFormat JapaneseLanguage, ボディカバー and "ボディカバー" |
| antecedent |
|
|
| (=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 15218-15225 |
|
|
|