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 10987-10988
(externalImage Skin "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Skin.agr.jpg") pictureList.kif 170-170
(subclass Skin AnimalAnatomicalStructure) Mid-level-ontology.kif 10986-10986 子類 皮膚 and 動物解剖結構
(subclass Skin BodyCovering) Mid-level-ontology.kif 10985-10985 子類 皮膚 and BodyCovering

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


(subclass Eyelid Skin) Mid-level-ontology.kif 12154-12154 子類 眼皮 and 皮膚
(termFormat ChineseLanguage Skin "皮肤") domainEnglishFormat.kif 53324-53324
(termFormat ChineseTraditionalLanguage Skin "皮膚") domainEnglishFormat.kif 53323-53323
(termFormat EnglishLanguage Skin "skin") domainEnglishFormat.kif 53322-53322

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

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 11820-11827
(=>
    (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 11004-11014
(=>
    (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 11022-11032
(=>
    (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 5377-5384
(=>
    (instance ?TA TopicalApplication)
    (exists (?M ?A ?S)
        (and
            (instance ?M Medicine)
            (instance ?A Animal)
            (instance ?S Skin)
            (part ?S ?A)
            (objectTransferred ?TA ?M)
            (destination ?M ?S))))
Mid-level-ontology.kif 12447-12456


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