TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass Eyelid Skin)	Mid-level-ontology.kif 11633-11633	Eyelid is a subclass of skin
(termFormat ChineseLanguage Skin "皮肤")	domainEnglishFormat.kif 53307-53307
(termFormat ChineseTraditionalLanguage Skin "皮膚")	domainEnglishFormat.kif 53306-53306
(termFormat EnglishLanguage Skin "skin")	domainEnglishFormat.kif 53305-53305

antecedent

(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))

Mid-level-ontology.kif 10494-10501

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 is overlapsSpatially

consequent

(=> (and (instance ?P Peeling) (patient ?P ?O)) (exists (?S) (and (instance ?S Skin) (part ?O ?S))))	Mid-level-ontology.kif 11302-11309	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 ?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 10508-10518	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 10526-10536	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
(=> (instance ?LEATHER Leather) (exists (?MAKE ?SKIN) (and (instance ?MAKE Making) (resource ?MAKE ?SKIN) (instance ?SKIN Skin) (result ?MAKE ?LEATHER))))	Mid-level-ontology.kif 5070-5077	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 ?M ?S))))	Mid-level-ontology.kif 11925-11934	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 object ends up at the third object

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

Show without tree

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

KB Term:			Term intersection

English Word: