TreeView Knowledge Base Browser

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 15119-15121
(subclass BodyCovering BodyPart)	Merge.kif 15118-15118	Body covering is a subclass of body part

appearance as argument number 2

(subclass PlasmaMembrane BodyCovering)	VirusProteinAndCellPart.kif 351-351	Plasma membrane is a subclass of body covering
(subclass Skin BodyCovering)	Mid-level-ontology.kif 11013-11013	Skin is a subclass of body covering
(termFormat ChineseLanguage BodyCovering "身体外层")	chinese_format.kif 1019-1019
(termFormat EnglishLanguage BodyCovering "body covering")	english_format.kif 1250-1250
(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 231-231
(termFormat JapaneseLanguage BodyCovering "ボディカバー")	japanese_format.kif 2380-2380
(termFormat PortugueseLanguage BodyCovering "parte do corpo recobrindo outra")	portuguese_format.kif 649-649
(termFormat cb BodyCovering "pagtabong lawas")	terms-cb.txt 233-233
(termFormat cz BodyCovering "body covering")	terms-cz.txt 266-266
(termFormat ro BodyCovering "acoperire a corpului")	relations-ro.kif 718-718
(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 15123-15130