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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Skin

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 10491-10492
(externalImage Skin "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Skin.agr.jpg") pictureList.kif 170-170
(subclass Skin AnimalAnatomicalStructure) Mid-level-ontology.kif 10490-10490
(subclass Skin BodyCovering) Mid-level-ontology.kif 10489-10489

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


(subclass Eyelid Skin) Mid-level-ontology.kif 11633-11633
(termFormat ChineseLanguage Skin "皮肤") domainEnglishFormat.kif 53307-53307
(termFormat ChineseTraditionalLanguage Skin "皮膚") domainEnglishFormat.kif 53306-53306
(termFormat EnglishLanguage Skin "skin") domainEnglishFormat.kif 53305-53305

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


(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))
Mid-level-ontology.kif 10494-10501

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


(=>
    (and
        (instance ?P Peeling)
        (patient ?P ?O))
    (exists (?S)
        (and
            (instance ?S Skin)
            (part ?O ?S))))
Mid-level-ontology.kif 11302-11309
(=>
    (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 10508-10518
(=>
    (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 10526-10536
(=>
    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?SKIN)
            (instance ?SKIN Skin)
            (result ?MAKE ?LEATHER))))
Mid-level-ontology.kif 5070-5077
(=>
    (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 11925-11934


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