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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Skin

Sigma KEE - Skin
Skin(skin)
cutis, hide, pelt, skin, tegument

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


(documentation Skin EnglishLanguage "A BodyCovering that comprises part of the surface of Animals.") Mid-level-ontology.kif 12319-12320
(externalImage Skin "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Skin.agr.jpg") pictureList.kif 170-170
(subclass Skin AnimalAnatomicalStructure) Mid-level-ontology.kif 12318-12318 Skin is a subclass of animal anatomical structure
(subclass Skin BodyCovering) Mid-level-ontology.kif 12317-12317 Skin is a subclass of body covering

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


(subclass Eyelid Skin) Mid-level-ontology.kif 13486-13486 Eyelid is a subclass of skin
(termFormat ChineseLanguage Skin "皮肤") domainEnglishFormat.kif 53328-53328 Eyelid is a subclass of skin
(termFormat ChineseTraditionalLanguage Skin "皮膚") domainEnglishFormat.kif 53327-53327 Eyelid is a subclass of skin
(termFormat EnglishLanguage Skin "skin") domainEnglishFormat.kif 53326-53326 Eyelid is a subclass of skin

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


(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Lambskin)
        (subclass ?O Skin))
    (initialPart ?O Lamb))
Economy.kif 5382-5387
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))
Economy.kif 5392-5397
(=>
    (and
        (instance ?L Laceration)
        (instance ?S Skin)
        (equal ?S
            (HoleHostFn ?L))
        (part ?S ?H))
    (exists (?P)
        (and
            (instance ?P Poking)
            (result ?P ?L))))
Medicine.kif 6235-6244
(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))
Mid-level-ontology.kif 12322-12329

consequent
-------------------------


(=>
    (and
        (equal ?P
            (OrganicObjectFn ?S))
        (subclass ?P Pelt))
    (subclass ?S Skin))
Economy.kif 5373-5377
(=>
    (and
        (instance ?P Peeling)
        (patient ?P ?O))
    (exists (?S)
        (and
            (instance ?S Skin)
            (part ?O ?S))))
Mid-level-ontology.kif 13152-13159
(=>
    (and
        (instance ?R Reptile)
        (sheddingBodyPart ?R ?S))
    (instance ?S Skin))
Geography.kif 6770-6774
(=>
    (and
        (instance ?S Sunburn)
        (experiencer ?S ?H))
    (exists (?D ?SKIN)
        (and
            (instance ?D Damaging)
            (instrument ?D Sol)
            (instance ?SKIN Skin)
            (part ?SKIN ?H)
            (patient ?D ?SKIN))))
Mid-level-ontology.kif 12336-12346
(=>
    (and
        (instance ?S Tanning)
        (experiencer ?S ?H))
    (exists (?D ?SKIN)
        (and
            (instance ?D RadiatingUltraviolet)
            (instrument ?D Sol)
            (instance ?SKIN Skin)
            (part ?SKIN ?H)
            (patient ?D ?SKIN))))
Mid-level-ontology.kif 12354-12364
(=>
    (attribute ?H Eczema)
    (exists (?SI)
        (and
            (instance ?SI
                (InflammationFn Skin))
            (experiencer ?SR ?H))))
Medicine.kif 4396-4402
(=>
    (holdsDuring ?T
        (attribute ?H OpenFracture))
    (exists (?S ?B)
        (and
            (instance ?S Skin)
            (part ?S ?H)
            (instance ?B Bone)
            (part ?B ?H)
            (holdsDuring ?T
                (traverses ?B ?S)))))
Medicine.kif 6161-6171
(=>
    (instance ?L Laceration)
    (exists (?S)
        (and
            (instance ?S Skin)
            (equal ?S
                (HoleHostFn ?L)))))
Medicine.kif 6228-6233
(=>
    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?SKIN)
            (instance ?SKIN Skin)
            (result ?MAKE ?LEATHER))))
Mid-level-ontology.kif 6315-6322
(=>
    (instance ?TA TopicalApplication)
    (exists (?M ?A ?S)
        (and
            (instance ?M Medicine)
            (instance ?A Animal)
            (instance ?S Skin)
            (part ?S ?A)
            (objectTransferred ?TA ?M)
            (destination ?TA ?S))))
Mid-level-ontology.kif 13779-13788


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