Skin |
appearance as argument number 1 |
(documentation Skin EnglishLanguage "A BodyCovering that comprises part of the surface of Animals.") | Mid-level-ontology.kif 10988-10989 | |
(externalImage Skin "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Skin.agr.jpg") | pictureList.kif 170-170 | |
(subclass Skin AnimalAnatomicalStructure) | Mid-level-ontology.kif 10987-10987 | Skin est une sous-classe de AnimalAnatomicalStructure |
(subclass Skin BodyCovering) | Mid-level-ontology.kif 10986-10986 | 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 12155-12155 | Eyelid est une sous-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 10991-10998 |
|
consequent |