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 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 Skin e' uma sub-classe de AnimalAnatomicalStructure
(subclass Skin BodyCovering) Mid-level-ontology.kif 10985-10985 Skin e' uma sub-classe de parte do corpo recobrindo outra

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


(subclass Eyelid Skin) Mid-level-ontology.kif 12154-12154 Eyelid e' uma sub-classe de Skin
(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 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