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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyCovering

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 的皮肤。") 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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners