Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

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


(termFormat EnglishLanguage Skin "skin") domainEnglishFormat.kif 53319-53319
(termFormat ChineseTraditionalLanguage Skin "皮膚") domainEnglishFormat.kif 53320-53320
(termFormat ChineseLanguage Skin "皮肤") domainEnglishFormat.kif 53321-53321

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


(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))		 Mid-level-ontology.kif 12469-12476 If X is an instance of skin, then there exist Y, Z such that Y is a surface of Z, X is a part of Z, Z is an instance of animal, X, and Y overlapsSpatially
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Lambskin)
        (subclass ?O Skin))
    (initialPart ?O Lamb))		 Economy.kif 5390-5395 If equal X and Object made from Y, X is a subclass of lambskin, and Y is a subclass of skin, then every Y is initially part of a lamb
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))		 Economy.kif 5400-5405 If equal X and Object made from Y, X is a subclass of sheepskin, and Y is a subclass of skin, then every Y is initially part of a sheep
(=>
    (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 6249-6258 If X is an instance of laceration, Y is an instance of skin, equal Y and the host of the hole X, and Y is a part of Z, then there exists W such that W is an instance of poking and X is a result of W

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


(=>
    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?SKIN)
            (instance ?SKIN Skin)
            (result ?MAKE ?LEATHER))))		 Mid-level-ontology.kif 6497-6504 If X is an instance of leather, then there exist Y, Z such that Y is an instance of making, Z is a resource for Y, Z is an instance of skin, and X is a result of Y
(=>
    (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 12495-12505 If X is an instance of sunburn and Y experiences X, then there exist Z, W such that Z is an instance of damaging, sol is an instrument for Z, W is an instance of skin, W is a part of Y, and W is a patient of Z
(=>
    (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 12513-12523 If X is an instance of tanning and Y experiences X, then there exist Z, W such that Z is an instance of radiating ultraviolet, sol is an instrument for Z, W is an instance of skin, W is a part of Y, and W is a patient of Z
(=>
    (and
        (instance ?P Peeling)
        (patient ?P ?O))
    (exists (?S)
        (and
            (instance ?S Skin)
            (part ?O ?S))))		 Mid-level-ontology.kif 13321-13328 If X is an instance of peeling and Y is a patient of X, then there exists Z such that Z is an instance of skin and Y is a part of Z
(=>
    (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 14063-14072 If X is an instance of topical application, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of medicine (3) Z is an instance of animal (4) W is an instance of skin (5) W is a part of Z (6) the object transferred in X is Y (7) X ends up at W
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?S))
        (subclass ?P Pelt))
    (subclass ?S Skin))		 Economy.kif 5381-5385 If equal X and Object made from Y and X is a subclass of pelt, then Y is a subclass of skin
(=>
    (and
        (instance ?R Reptile)
        (sheddingBodyPart ?R ?S))
    (instance ?S Skin))		 Geography.kif 8092-8096 If X is an instance of reptile and X is Removing Y from its body, then Y is an instance of skin
(=>
    (attribute ?H Eczema)
    (exists (?SI)
        (and
            (instance ?SI
                (InflammationFn Skin))
            (experiencer ?SR ?H))))		 Medicine.kif 4410-4416 If atopic dermatitis is an attribute of X, then there exists Y such that Y is an instance of inflammation of skin and X experiences Z
(=>
    (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 6175-6185 If open fracture is an attribute of X holds during Y, then there exist Z, W such that Z is an instance of skin, Z is a part of X, W is an instance of bone, W is a part of X, and W traverses Z holds during Y
(=>
    (instance ?L Laceration)
    (exists (?S)
        (and
            (instance ?S Skin)
            (equal ?S
                (HoleHostFn ?L)))))		 Medicine.kif 6242-6247 If X is an instance of laceration, then there exists Y such that Y is an instance of skin, equal Y, and the host of the hole X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners