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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BodyCovering
BodyCovering(partie du corps en recouvrant une autre)

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 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
-------------------------


(subclass PlasmaMembrane BodyCovering) VirusProteinAndCellPart.kif 356-356 PlasmaMembrane est une sous-classe de partie du corps en recouvrant une autre
(subclass Skin BodyCovering) Mid-level-ontology.kif 12317-12317 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat ChineseLanguage BodyCovering "身体外层") chinese_format.kif 1019-1019 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat EnglishLanguage BodyCovering "body covering") english_format.kif 1250-1250 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat FrenchLanguage BodyCovering "partie du corps en recouvrant une autre") french_format.kif 697-697 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat Hindi BodyCovering "sharIra aavaraNa") terms-hindi.txt 228-228 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat ItalianLanguage BodyCovering "RivestimentoDiOrganismi") terms-it.txt 231-231 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat JapaneseLanguage BodyCovering "ボディカバー") japanese_format.kif 2380-2380 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat PortugueseLanguage BodyCovering "parte do corpo recobrindo outra") portuguese_format.kif 649-649 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat cb BodyCovering "pagtabong lawas") terms-cb.txt 233-233 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat cz BodyCovering "body covering") terms-cz.txt 266-266 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat de BodyCovering "Koerperbedeckung") terms-de.txt 525-525 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat ro BodyCovering "acoperire a corpului") relations-ro.kif 718-718 Skin est une sous-classe de partie du corps en recouvrant une autre
(termFormat tg BodyCovering "takip ng katawan") terms-tg.txt 232-232 Skin est une sous-classe de partie du corps en recouvrant une autre

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


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


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 3.0 is open source software produced by Articulate Software and its partners