consequent

(=>     (and         (instance ?E             (EdemaFn ?P))         (experiencer ?E ?A))     (exists (?PI)         (and             (instance ?PI BodyPart)             (part ?PI ?A)             (located ?E ?PI))))	Mid-level-ontology.kif 11309-11317	If a process is an instance of EdemaFn a kind of body part and an agent experiences the process, then there exists a kind of body partI such that the kind of body partI is an instance of body part and the kind of body partI is a part of the agent and the process is located at the kind of body partI
(=>     (and         (instance ?E Edema)         (experiencer ?E ?A))     (exists (?T ?P ?L)         (and             (instance ?T Transfer)             (instance ?L Liquid)             (instance ?P BodyPart)             (part ?P ?A)             (destination ?T ?P)             (moves ?T ?L)             (subProcess ?T ?E))))	Mid-level-ontology.kif 11287-11299	If a process is an instance of Edema and an agent experiences the process, then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of Liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and moves the motion and the other object and the motion is a subprocess of the process
(=>     (and         (instance ?MOTION BodyMotion)         (moves ?MOTION ?OBJ))     (and         (instance ?OBJ BodyPart)         (patient ?MOTION ?OBJ)))	Merge.kif 11270-11276	If a motion is an instance of body motion and moves the motion and an object, then the object is an instance of body part and the object is a patient of the motion
(=>     (and         (instance ?P PerspiringWholeBody)         (experiencer ?P ?A))     (not         (exists (?B)             (and                 (instance ?B BodyPart)                 (part ?B ?A)                 (not                     (destination ?P ?B))))))	emotion.kif 1505-1515	If a process is an instance of PerspiringWholeBody and an agent experiences the process, then there doesn't exist an object such that the object is an instance of body part and the object is a part of the agent and the process doesn't end up at the object
(=>     (attribute ?D Dorsal)     (exists (?O)         (and             (or                 (instance ?O Organism)                 (instance ?O BodyPart))             (not                 (and                     (instance ?O Organism)                     (instance ?O BodyPart)))             (part ?D ?O)             (equal ?B                 (BackFn ?O))             (meetsSpatially ?B ?D))))	Anatomy.kif 2005-2019	If Dorsal is an attribute of an object, then there exists a self connected object such that the self connected object is an instance of organism or the self connected object is an instance of body part and ~{ the self connected object is an instance of organism } or ~{ the self connected object is an instance of body part } and the object is a part of the self connected object and equal another self connected object and the back of the self connected object and the other self connected object meets the object
(=>     (attribute ?V Ventral)     (exists (?O ?F)         (and             (or                 (instance ?O Organism)                 (instance ?O BodyPart))             (not                 (and                     (instance ?O Organism)                     (instance ?O BodyPart)))             (part ?V ?O)             (equal ?F                 (FrontFn ?O))             (meetsSpatially ?F ?V))))	Anatomy.kif 2026-2040	If Ventral is an attribute of an object, then there exist a self connected object and another self connected object such that the self connected object is an instance of organism or the self connected object is an instance of body part and ~{ the self connected object is an instance of organism } or ~{ the self connected object is an instance of body part } and the object is a part of the self connected object and equal the other self connected object and the front of the self connected object and the other self connected object meets the object
(=>     (instance ?A Abducting)     (exists (?BP ?ORGANISM ?TORSO ?MAF)         (and             (instance ?BP BodyPart)             (instance ?ORGANISM Organism)             (instance ?TORSO Torso)             (not                 (equal ?BP ?TORSO))             (subProcess ?MAF MovingAwayFrom)             (patient ?MAF ?BP)             (patient ?MAF ?TORSO)             (part ?BP ?ORGANISM)             (part ?TORSO ?ORGANISM)             (experiencer ?A Organism)             (moves ?A ?BP))))	Anatomy.kif 2048-2063	If a motion is an instance of Abducting, then there exist an object, another object,, , a third object and a process such that the object is an instance of body part and the other object is an instance of organism and the third object is an instance of Torso and equal the object and the third object and the process is a subprocess of MovingAwayFrom and the object is a patient of the process and the third object is a patient of the process and the object is a part of the other object and the third object is a part of the other object and organism experiences the motion and moves the motion and the object
(=>     (instance ?A Adducting)     (exists (?BP ?ORGANISM ?TORSO ?MT)         (and             (instance ?BP BodyPart)             (instance ?ORGANISM Organism)             (instance ?TORSO Torso)             (not                 (equal ?BP ?TORSO))             (instance ?MT MovingTowards)             (subProcess ?MT ?A)             (patient ?MT ?BP)             (patient ?MT ?TORSO)             (part ?BP ?ORGANISM)             (part ?TORSO ?ORGANISM)             (experiencer ?A Organism)             (moves ?A ?BP))))	Anatomy.kif 2072-2088	If a motion is an instance of Adducting, then there exist an object, another object,, , a third object and a process such that the object is an instance of body part and the other object is an instance of organism and the third object is an instance of Torso and equal the object and the third object and the process is an instance of MovingTowards and the process is a subprocess of the motion and the object is a patient of the process and the third object is a patient of the process and the object is a part of the other object and the third object is a part of the other object and organism experiences the motion and moves the motion and the object
(=>     (instance ?A Atrophy)     (exists (?B)         (and             (experiencer ?A ?B)             (instance ?B BodyPart))))	Mid-level-ontology.kif 7379-7384	If a process is an instance of Atrophy, then there exists an agent such that the agent experiences the process and the agent is an instance of body part
(=>     (instance ?COVER BodyCovering)     (exists (?BODY)         (and             (superficialPart ?COVER ?BODY)             (or                 (instance ?BODY Organism)                 (instance ?BODY BodyPart)))))	Merge.kif 15252-15259	If an object is an instance of body covering, then there exists another object such that the object is a superficial part of the other object and the other object is an instance of organism or the other object is an instance of body part
(=>     (instance ?JUNCT BodyJunction)     (exists (?OBJ1 ?OBJ2)         (and             (instance ?OBJ1 BodyPart)             (instance ?OBJ2 BodyPart)             (connects ?JUNCT ?OBJ1 ?OBJ2))))	Merge.kif 15265-15271	If an object is an instance of body junction, then there exist another object and a third object such that the other object is an instance of body part and the third object is an instance of body part and the object connects the other object and the third object
(=>     (instance ?PROC Excreting)     (exists (?ORG ?WASTE ?PART)         (and             (instance ?ORG Organism)             (agent ?PROC ?ORG)             (patient ?PROC ?WASTE)             (instance ?WASTE Excrement)             (instance ?PART BodyPart)             (instrument ?PROC ?PART))))	Mid-level-ontology.kif 2581-2590	If a process is an instance of Excreting, then there exist an agent, an entity and an object such that the agent is an instance of organism and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of Excrement and the object is an instance of body part and the object is an instrument for the process
(=>     (instance ?U Ulcer)     (exists (?H ?BP)         (and             (instance ?H HoleRegion)             (instance ?BP BodyPart)             (equal ?BP                 (HoleHostFn ?H))             (part ?BP ?U))))	Mid-level-ontology.kif 10748-10755	If an object is an instance of Ulcer, then there exist a hole and another object such that the hole is an instance of hole and the other object is an instance of body part and equal the other object and the host of the hole the hole and the other object is a part of the 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