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 est une sous-classe de AnimalAnatomicalStructure |
(subclass Skin BodyCovering) | Mid-level-ontology.kif 11013-11013 | 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 12182-12182 | Eyelid est une sous-classe de 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 |