| BodyCovering(ボディカバー) | |
| 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 15226-15228 | |
| (subclass BodyCovering BodyPart) | Merge.kif 15225-15225 | ボディカバー は 体の部分 の subclass では |
| appearance as argument number 2 |
|
|
| (subclass PlasmaMembrane BodyCovering) | VirusProteinAndCellPart.kif 356-356 | PlasmaMembrane は ボディカバー の subclass では |
| (subclass Skin BodyCovering) | Mid-level-ontology.kif 12317-12317 | Skin は ボディカバー の subclass では |
| (termFormat ChineseLanguage BodyCovering "身体外层") | chinese_format.kif 1019-1019 | Skin は ボディカバー の subclass では |
| (termFormat EnglishLanguage BodyCovering "body covering") | english_format.kif 1250-1250 | Skin は ボディカバー の subclass では |
| (termFormat FrenchLanguage BodyCovering "partie du corps en recouvrant une autre") | french_format.kif 697-697 | Skin は ボディカバー の subclass では |
| (termFormat Hindi BodyCovering "sharIra aavaraNa") | terms-hindi.txt 228-228 | Skin は ボディカバー の subclass では |
| (termFormat ItalianLanguage BodyCovering "RivestimentoDiOrganismi") | terms-it.txt 231-231 | Skin は ボディカバー の subclass では |
| (termFormat JapaneseLanguage BodyCovering "ボディカバー") | japanese_format.kif 2380-2380 | Skin は ボディカバー の subclass では |
| (termFormat PortugueseLanguage BodyCovering "parte do corpo recobrindo outra") | portuguese_format.kif 649-649 | Skin は ボディカバー の subclass では |
| (termFormat cb BodyCovering "pagtabong lawas") | terms-cb.txt 233-233 | Skin は ボディカバー の subclass では |
| (termFormat cz BodyCovering "body covering") | terms-cz.txt 266-266 | Skin は ボディカバー の subclass では |
| (termFormat de BodyCovering "Koerperbedeckung") | terms-de.txt 525-525 | Skin は ボディカバー の subclass では |
| (termFormat ro BodyCovering "acoperire a corpului") | relations-ro.kif 718-718 | Skin は ボディカバー の subclass では |
| (termFormat tg BodyCovering "takip ng katawan") | terms-tg.txt 232-232 | Skin は ボディカバー の subclass では |
| antecedent |
|
|
| (=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 15230-15237 |
|
|
|