Skin |
appearance as argument number 1 |
(documentation Skin EnglishLanguage "A BodyCovering that comprises part of the surface of Animals.") | Mid-level-ontology.kif 11206-11207 | |
(externalImage Skin "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Skin.agr.jpg") | pictureList.kif 170-170 | |
(subclass Skin AnimalAnatomicalStructure) | Mid-level-ontology.kif 11205-11205 | |
(subclass Skin BodyCovering) | Mid-level-ontology.kif 11204-11204 |
appearance as argument number 2 |
(subclass Eyelid Skin) | Mid-level-ontology.kif 12373-12373 | |
(termFormat ChineseLanguage Skin "皮肤") | domainEnglishFormat.kif 53359-53359 | |
(termFormat ChineseTraditionalLanguage Skin "皮膚") | domainEnglishFormat.kif 53358-53358 | |
(termFormat EnglishLanguage Skin "skin") | domainEnglishFormat.kif 53357-53357 |
antecedent |
(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Lambskin) (subclass ?O Skin)) (initialPart ?O Lamb)) |
Economy.kif 5156-5161 | |
(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep)) |
Economy.kif 5166-5171 | |
(=> (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 11209-11216 |
consequent |
(=> (and (equal ?P (OrganicObjectFn ?S)) (subclass ?P Pelt)) (subclass ?S Skin)) |
Economy.kif 5147-5151 | |
(=> (and (instance ?P Peeling) (patient ?P ?O)) (exists (?S) (and (instance ?S Skin) (part ?O ?S)))) |
Mid-level-ontology.kif 12039-12046 | |
(=> (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 11223-11233 | |
(=> (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 11241-11251 | |
(=> (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 5372-5379 | |
(=> (instance ?TA TopicalApplication) (exists (?M ?A ?S) (and (instance ?M Medicine) (instance ?A Animal) (instance ?S Skin) (part ?S ?A) (objectTransferred ?TA ?M) (destination ?TA ?S)))) |
Mid-level-ontology.kif 12666-12675 |