BodyCovering(partie du corps en recouvrant une autre) | ![]() |
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 | Partie du corps en recouvrant une autre est une sous-classe de partie du corps |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 15230-15237 |
|
![]() |
![]() |