Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyCovering
BodyCovering(body covering)abdominal_wall, adventitia, albuginea, arachnoid, arachnoid_membrane, axolemma, body_covering, buff, bulbar_conjunctiva, calculus, calyptra, cambium, case, caul, conjunctiva, conjunctival_layer_of_bulb, conjunctival_layer_of_eyelids, corium, cornea, corneum, crown, cuticle, dander, dandruff, derma, dermis, dewlap, dura, dura_mater, eggshell, embryonic_membrane, endometrium, endosperm, endothelium, epicardium, epicarp, epicranium, epidermis, episperm, epithelial_tissue, epithelium, exfoliation, exocarp, exuviae, haw, headful, horny_layer, integument, intima, lens_capsule...

appearance as argument number 1
-------------------------


(documentation BodyCovering ChineseLanguage "这是任何遮盖另外一个 BodyPart 或整个 OrganismBodyPart。 这包括 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 Body covering is a subclass of body part

appearance as argument number 2
-------------------------


(subclass AnimalSkin BodyCovering) Economy.kif 4305-4305 AnimalSkin is a subclass of body covering
(subclass PlasmaMembrane BodyCovering) VirusProteinAndCellPart.kif 297-297 Plasma membrane is a subclass of body covering
(subclass Skin BodyCovering) Mid-level-ontology.kif 9432-9432 Skin is a subclass of body covering
(termFormat ChineseLanguage BodyCovering "身体外层") chinese_format.kif 1019-1019 "身体外层" is the printable form of body covering in ChineseLanguage
(termFormat EnglishLanguage BodyCovering "body covering") english_format.kif 1128-1128 "body covering" is the printable form of body covering in english language
(termFormat JapaneseLanguage BodyCovering "ボディカバー") english_format.kif 1129-1129 "ボディカバー" is the printable form of body covering in japanese language

antecedent
-------------------------


(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 15218-15225


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners