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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Skin
Skin

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


(documentation Skin EnglishLanguage "A BodyCovering that comprises part of the surface of Animals.") Mid-level-ontology.kif 11015-11016
(externalImage Skin "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Skin.agr.jpg") pictureList.kif 170-170
(subclass Skin AnimalAnatomicalStructure) Mid-level-ontology.kif 11014-11014 Skin è una sottoclasse di AnimalAnatomicalStructure
(subclass Skin BodyCovering) Mid-level-ontology.kif 11013-11013 Skin è una sottoclasse di RivestimentoDiOrganismi

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


(subclass Eyelid Skin) Mid-level-ontology.kif 12182-12182 Eyelid è una sottoclasse di Skin
(termFormat ChineseLanguage Skin "皮肤") domainEnglishFormat.kif 53326-53326
(termFormat ChineseTraditionalLanguage Skin "皮膚") domainEnglishFormat.kif 53325-53325
(termFormat EnglishLanguage Skin "skin") domainEnglishFormat.kif 53324-53324

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


(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Lambskin)
        (subclass ?O Skin))
    (initialPart ?O Lamb))
Economy.kif 5041-5046
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))
Economy.kif 5051-5056
(=>
    (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 6219-6228
(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))
Mid-level-ontology.kif 11018-11025

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


(=>
    (and
        (equal ?P
            (OrganicObjectFn ?S))
        (subclass ?P Pelt))
    (subclass ?S Skin))
Economy.kif 5032-5036
(=>
    (and
        (instance ?P Peeling)
        (patient ?P ?O))
    (exists (?S)
        (and
            (instance ?S Skin)
            (part ?O ?S))))
Mid-level-ontology.kif 11848-11855
(=>
    (and
        (instance ?R Reptile)
        (sheddingBodyPart ?R ?S))
    (instance ?S Skin))
Geography.kif 6467-6471
(=>
    (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 11032-11042
(=>
    (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 11050-11060
(=>
    (attribute ?H Eczema)
    (exists (?SI)
        (and
            (instance ?SI
                (InflammationFn Skin))
            (experiencer ?SR ?H))))
Medicine.kif 4389-4395
(=>
    (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 6144-6154
(=>
    (instance ?L Laceration)
    (exists (?S)
        (and
            (instance ?S Skin)
            (equal ?S
                (HoleHostFn ?L)))))
Medicine.kif 6212-6217
(=>
    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?SKIN)
            (instance ?SKIN Skin)
            (result ?MAKE ?LEATHER))))
Mid-level-ontology.kif 5372-5379
(=>
    (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 12475-12484


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