consequent

(=>     (and         (instance ?MOTION BodyMotion)         (moves ?MOTION ?OBJ))     (and         (instance ?OBJ BodyPart)         (patient ?MOTION ?OBJ)))	Merge.kif 11268-11274	If X is an instance of body motion and Y moves during X, then Y is an instance of body part and Y is a patient of X
(=>     (instance ?COVER BodyCovering)     (exists (?BODY)         (and             (superficialPart ?COVER ?BODY)             (or                 (instance ?BODY Organism)                 (instance ?BODY BodyPart)))))	Merge.kif 15252-15259	If X is an instance of body covering, then there exists Y such that X is a superficial part of Y and Y is an instance of organism or Y 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 X is an instance of body junction, then there exist Y, Z such that Y is an instance of body part, Z is an instance of body part, X connects Y, and Z
(=>     (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 2599-2608	If X is an instance of excreting, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of organism (3) Y is an agent of X (4) Z is a patient of X (5) Z is an instance of excrement (6) W is an instance of body part (7) W is an instrument for X
(=>     (instance ?A Atrophy)     (exists (?B)         (and             (experiencer ?A ?B)             (instance ?B BodyPart))))	Mid-level-ontology.kif 7401-7406	If X is an instance of atrophy, then there exists Y such that Y experiences X and Y is an instance of body part
(=>     (instance ?U Ulcer)     (exists (?H ?BP)         (and             (instance ?H HoleRegion)             (instance ?BP BodyPart)             (equal ?BP                 (HoleHostFn ?H))             (part ?BP ?U))))	Mid-level-ontology.kif 10794-10801	If X is an instance of ulcer, then there exist Y, Z such that Y is an instance of hole, Z is an instance of body part, equal Z, the host of the hole Y, and Z is a part of X
(=>     (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 11333-11345	If X is an instance of swelling and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) V is an instance of liquid (4) W is an instance of body part (5) W is a part of Y (6) Z ends up at W (7) V moves during Z (8) Z is a subprocess of X
(=>     (and         (instance ?E             (EdemaFn ?P))         (experiencer ?E ?A))     (exists (?PI)         (and             (instance ?PI BodyPart)             (part ?PI ?A)             (located ?E ?PI))))	Mid-level-ontology.kif 11355-11363	If X is an instance of edema in Y and Z experiences X, then there exists W such that W is an instance of body part, W is a part of Z, and X is located at W
(=>     (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 X, then there exists Y such that Y is an instance of organism or Y is an instance of body part and ~{ Y is an instance of organism } or ~{ Y is an instance of body part } and X is a part of Y and equal Z and the back of Y and Z meets X
(=>     (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 X, then there exist Y and Z such that Y is an instance of organism or Y is an instance of body part and ~{ Y is an instance of organism } or ~{ Y is an instance of body part } and X is a part of Y and equal Z and the front of Y and Z meets X
(=>     (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 X is an instance of abducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is a subprocess of moving away from (8) Y is a patient of V (9) W is a patient of V (10) Y is a part of Z (11) W is a part of Z (12) organism experiences X (13) Y moves during X
(=>     (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 X is an instance of adducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is an instance of moving towards (8) V is a subprocess of X (9) Y is a patient of V (10) W is a patient of V (11) Y is a part of Z (12) W is a part of Z (13) organism experiences X (14) Y moves during X
(=>     (instance ?DEVICE BodyCareAppliance)     (hasPurpose ?DEVICE         (exists (?PROC ?PATIENT)             (and                 (instance ?PROC Process)                 (instrument ?PROC ?DEVICE)                 (patient ?PROC ?PATIENT)                 (or                     (instance ?PATIENT Human)                     (instance ?PATIENT BodyPart))))))	HouseholdAppliances.kif 95-105	If X is an instance of body care appliance, then X has the purpose there exist Y, Z such that Y is an instance of process, X is an instrument for Y, Z is a patient of Y, and Z is an instance of human or Z is an instance of body part
(=>     (and         (instance ?P PerspiringWholeBody)         (experiencer ?P ?A))     (not         (exists (?B)             (and                 (instance ?B BodyPart)                 (part ?B ?A)                 (not                     (destination ?P ?B))))))	emotion.kif 2161-2171	If X is an instance of perspiring (whole body) and Y experiences X, then there doesn't exist Z such that Z is an instance of body part, Z is a part of Y, and X doesn't end up at Z

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