Skin - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Skin

Skin(skin)

cutis, hide, pelt, skin, tegument

appearance as argument number 1

(documentation Skin EnglishLanguage "A BodyCovering that comprises part of the surface of Animals.")	Mid-level-ontology.kif 11884-11885
(externalImage Skin "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Skin.agr.jpg")	pictureList.kif 170-170
(subclass Skin AnimalAnatomicalStructure)	Mid-level-ontology.kif 11883-11883	Skin is a subclass of animal anatomical structure
(subclass Skin BodyCovering)	Mid-level-ontology.kif 11882-11882	Skin is a subclass of body covering

appearance as argument number 2

(subclass Eyelid Skin)	Mid-level-ontology.kif 13051-13051	Eyelid is a subclass of skin
(termFormat ChineseLanguage Skin "皮肤")	domainEnglishFormat.kif 53357-53357	Eyelid is a subclass of skin
(termFormat ChineseTraditionalLanguage Skin "皮膚")	domainEnglishFormat.kif 53356-53356	Eyelid is a subclass of skin
(termFormat EnglishLanguage Skin "skin")	domainEnglishFormat.kif 53355-53355	Eyelid is a subclass of skin

antecedent

(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Lambskin) (subclass ?O Skin)) (initialPart ?O Lamb))	Economy.kif 5251-5256	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of lambskin and another kind of object is a subclass of skin, then every the other kind of object is initially part of a lamb
(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep))	Economy.kif 5261-5266	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of sheepskin and another kind of object is a subclass of skin, then every the other kind of object is initially part of a sheep
(=> (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 6203-6212	If a hole is an instance of Laceration and an object is an instance of skin and the object is equal to the host of the hole the hole and the object is a part of another object, then there exists a process such that the process is an instance of poking and the hole is a result of the process
(=> (instance ?SKIN Skin) (exists (?SURFACE ?ANIMAL) (and (surface ?SURFACE ?ANIMAL) (part ?SKIN ?ANIMAL) (instance ?ANIMAL Animal) (overlapsSpatially ?SKIN ?SURFACE))))	Mid-level-ontology.kif 11887-11894	If an object is an instance of skin, then there exist a self connected object and another self connected object such that the self connected object is a surface of the other self connected object and the object is a part of the other self connected object and the other self connected object is an instance of animal and the object and the self connected object overlapsSpatially

consequent

(=> (and (equal ?P (OrganicObjectFn ?S)) (subclass ?P Pelt)) (subclass ?S Skin))	Economy.kif 5242-5246	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of pelt, then a kind of organic object is a subclass of skin
(=> (and (instance ?P Peeling) (patient ?P ?O)) (exists (?S) (and (instance ?S Skin) (part ?O ?S))))	Mid-level-ontology.kif 12717-12724	If a process is an instance of peeling and an object is a patient of the process, then there exists another object such that the other object is an instance of skin and the object is a part of the other object
(=> (and (instance ?R Reptile) (sheddingBodyPart ?R ?S)) (instance ?S Skin))	Geography.kif 6535-6539	If an organism is an instance of reptile and the organism is Removing a body part from its body, then the body part is an instance of skin
(=> (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 11901-11911	If a process is an instance of sunburn and an agent experiences the process, then there exist another process and the processKIN such that the other process is an instance of damaging and sol is an instrument for the other process and the processKIN is an instance of skin and the processKIN is a part of the agent and the processKIN is a patient of the other process
(=> (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 11919-11929	If a process is an instance of tanning and an agent experiences the process, then there exist another process and the processKIN such that the other process is an instance of radiating ultraviolet and sol is an instrument for the other process and the processKIN is an instance of skin and the processKIN is a part of the agent and the processKIN is a patient of the other process
(=> (attribute ?H Eczema) (exists (?SI) (and (instance ?SI (InflammationFn Skin)) (experiencer ?SR ?H))))	Medicine.kif 4377-4383	If atopic dermatitis is an attribute of an agent, then there exists an entity such that the entity is an instance of inflammation of skin and the agent experiences a process
(=> (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 6130-6140	If open fracture is an attribute of an object holds during a time position, then there exist another object and a third object such that the other object is an instance of skin and the other object is a part of the object and the third object is an instance of bone and the third object is a part of the object and the third object traverses the other object holds during the time position
(=> (instance ?L Laceration) (exists (?S) (and (instance ?S Skin) (equal ?S (HoleHostFn ?L)))))	Medicine.kif 6196-6201	If a hole is an instance of Laceration, then there exists an object such that the object is an instance of skin and the object is equal to the host of the hole the hole
(=> (instance ?LEATHER Leather) (exists (?MAKE ?SKIN) (and (instance ?MAKE Making) (resource ?MAKE ?SKIN) (instance ?SKIN Skin) (result ?MAKE ?LEATHER))))	Mid-level-ontology.kif 5927-5934	If an entity is an instance of leather, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of skin and the entity is a result of the process
(=> (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 13344-13353	If a transfer is an instance of topical application, then there exist an object, another object and a third object such that the object is an instance of medicine and the other object is an instance of animal and the third object is an instance of skin and the third object is a part of the other object and the object transferred in the transfer is the object and the transfer ends up at the third object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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