Skin![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Skin EnglishLanguage "A BodyCovering that comprises part of the surface of Animals.") | Mid-level-ontology.kif 12319-12320 | |
(externalImage Skin "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Skin.agr.jpg") | pictureList.kif 170-170 | |
(subclass Skin AnimalAnatomicalStructure) | Mid-level-ontology.kif 12318-12318 | Skin est une sous-classe de AnimalAnatomicalStructure |
(subclass Skin BodyCovering) | Mid-level-ontology.kif 12317-12317 | Skin est une sous-classe de partie du corps en recouvrant une autre |
appearance as argument number 2 |
![]() |
(subclass Eyelid Skin) | Mid-level-ontology.kif 13486-13486 | Eyelid est une sous-classe de Skin |
(termFormat ChineseLanguage Skin "皮肤") | domainEnglishFormat.kif 53328-53328 | Eyelid est une sous-classe de Skin |
(termFormat ChineseTraditionalLanguage Skin "皮膚") | domainEnglishFormat.kif 53327-53327 | Eyelid est une sous-classe de Skin |
(termFormat EnglishLanguage Skin "skin") | domainEnglishFormat.kif 53326-53326 | Eyelid est une sous-classe de Skin |
antecedent |
![]() |
(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Lambskin) (subclass ?O Skin)) (initialPart ?O Lamb)) |
Economy.kif 5382-5387 | |
(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep)) |
Economy.kif 5392-5397 | |
(=> (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 6235-6244 | |
(=> (instance ?SKIN Skin) (exists (?SURFACE ?ANIMAL) (and (surface ?SURFACE ?ANIMAL) (part ?SKIN ?ANIMAL) (instance ?ANIMAL Animal) (overlapsSpatially ?SKIN ?SURFACE)))) |
Mid-level-ontology.kif 12322-12329 |
|
consequent |
![]() |
![]() |
![]() |