Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

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