consequent

(=>     (instance ?PROC BiologicalProcess)     (exists (?OBJ)         (and             (instance ?OBJ Organism)             (eventLocated ?PROC ?OBJ))))	Merge.kif 10362-10367	If X is an instance of biological process, then there exists Y such that Y is an instance of organism and X is located at Y
(=>     (and         (instance ?PROC BiologicalProcess)         (experiencer ?PROC ?ORG))     (instance ?ORG Organism))	Merge.kif 10369-10373	If X is an instance of biological process and Y experiences X, then Y is an instance of organism
(=>     (instance ?INJ Injuring)     (and         (instance ?INJ Damaging)         (exists (?ORGANISM)             (and                 (instance ?ORGANISM Organism)                 (patient ?INJ ?ORGANISM)))))	Merge.kif 10685-10692	If X is an instance of injuring, then X is an instance of damaging and there exists Y such that Y is an instance of organism and Y is a patient of X
(=>     (instance ?POISON Poisoning)     (exists (?THING)         (and             (patient ?POISON ?THING)             (or                 (instance ?THING Organism)                 (instance ?THING AnatomicalStructure)))))	Merge.kif 10708-10715	If X is an instance of poisoning, then there exists Y such that Y is a patient of X and Y is an instance of organism or Y is an instance of anatomical structure
(=>     (instance ?MOTION BodyMotion)     (exists (?AGENT)         (and             (instance ?AGENT Organism)             (agent ?MOTION ?AGENT))))	Merge.kif 11371-11376	If X is an instance of body motion, then there exists Y such that Y is an instance of organism and Y is an agent of X
(=>     (and         (instance ?PROC TherapeuticProcess)         (patient ?PROC ?BIO))     (or         (instance ?BIO Organism)         (exists (?ORG)             (and                 (instance ?ORG Organism)                 (part ?BIO ?ORG)))))	Merge.kif 12530-12539	If X is an instance of therapeutic process and Y is a patient of X, then Y is an instance of organism or there exists Z such that Z is an instance of organism and Y is a part of Z
(=>     (and         (instance ?KILL Killing)         (agent ?KILL ?AGENT)         (patient ?KILL ?PATIENT))     (and         (instance ?AGENT Organism)         (instance ?PATIENT Organism)))	Merge.kif 12582-12589	If X is an instance of killing, Y is an agent of X, and Z is a patient of X, then Y is an instance of organism and Z is an instance of organism
(=>     (and         (instance ?FUNGUS Fungus)         (inhabits ?FUNGUS ?OBJ))     (instance ?OBJ Organism))	Merge.kif 14743-14747	If X is an instance of fungus and X lives in Y, then Y is an instance of organism
(=>     (and         (instance ?BACTERIUM Bacterium)         (inhabits ?BACTERIUM ?OBJ))     (instance ?OBJ Organism))	Merge.kif 14784-14788	If X is an instance of bacterium and X lives in Y, then Y is an instance of organism
(=>     (and         (instance ?VIRUS Virus)         (inhabits ?VIRUS ?OBJ))     (instance ?OBJ Organism))	Merge.kif 14796-14800	If X is an instance of virus and X lives in Y, then Y is an instance of organism
(=>     (instance ?ANAT AnatomicalStructure)     (exists (?ORGANISM ?TIME)         (and             (instance ?ORGANISM Organism)             (temporalPart ?TIME                 (WhenFn ?ORGANISM))             (holdsDuring ?TIME                 (part ?ANAT ?ORGANISM)))))	Merge.kif 15230-15236	If X is an instance of anatomical structure, then there exist Y, Z such that Y is an instance of organism, Z is a part of the time of existence of Y, and X is a part of Y holds during Z
(=>     (instance ?PART BodyPart)     (exists (?ORGANISM ?TIME)         (and             (instance ?ORGANISM Organism)             (temporalPart ?TIME                 (WhenFn ?ORGANISM))             (holdsDuring ?TIME                 (component ?PART ?ORGANISM)))))	Merge.kif 15264-15270	If X is an instance of body part, then there exist Y, Z such that Y is an instance of organism, Z is a part of the time of existence of Y, and X is a component of Y holds during Z
(=>     (instance ?COVER BodyCovering)     (exists (?BODY)         (and             (superficialPart ?COVER ?BODY)             (or                 (instance ?BODY Organism)                 (instance ?BODY BodyPart)))))	Merge.kif 15373-15380	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 ?STUFF Tissue)     (exists (?ORGANISM)         (and             (instance ?ORGANISM Organism)             (part ?STUFF ?ORGANISM))))	Merge.kif 15437-15442	If X is an instance of tissue, then there exists Y such that Y is an instance of organism and X is a part of Y
(=>     (instance ?ATTR PsychologicalAttribute)     (=>         (and             (holdsDuring ?TIME                 (attribute ?ORGANISM ?ATTR))             (instance ?ORGANISM Organism))         (holdsDuring ?TIME             (attribute ?ORGANISM Living))))	Merge.kif 18611-18617	Assuming X is an instance of psychological attribute, it follows that: if X is an attribute of Y holds during Z and Y is an instance of organism, then living is an attribute of Y holds during Z
(=>     (and         (instance ?REM OrganismRemains)         (holdsDuring             (WhenFn ?REM)             (part ?OBJ ?REM)))     (exists (?ORG)         (and             (instance ?ORG Organism)             (earlier                 (WhenFn ?ORG)                 (WhenFn ?REM))             (finishes                 (WhenFn ?REM)                 (WhenFn ?ORG))             (holdsDuring                 (WhenFn ?ORG)                 (part ?OBJ ?ORG)))))	Mid-level-ontology.kif 32-43	If X is an instance of organism remains and Y is a part of X holds during the time of existence of X, then there exists Z such that Z is an instance of organism, the time of existence of Z happens earlier than the time of existence of X, the time of existence of X finishes the time of existence of Z, and Y is a part of Z holds during the time of existence of Z
(=>     (instance ?VOCAL Vocalizing)     (exists (?CORD ?ORGANISM)         (and             (instance ?CORD VocalCords)             (instrument ?VOCAL ?CORD)             (part ?CORD ?ORGANISM)             (instance ?ORGANISM Organism))))	Mid-level-ontology.kif 778-785	If X is an instance of vocalizing, then there exist Y, Z such that Y is an instance of vocal cords, Y is an instrument for X, Y is a part of Z, and Z is an instance of organism
(=>     (instance ?X Excrement)     (exists (?PROC ?ORG)         (and             (instance ?ORG Organism)             (instance ?PROC PhysiologicProcess)             (result ?PROC ?X)             (agent ?PROC ?ORG))))	Mid-level-ontology.kif 2666-2673	If X is an instance of excrement, then there exist Y, Z such that Z is an instance of organism, Y is an instance of physiologic process, X is a result of Y, and Z is an agent of Y
(=>     (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 2717-2726	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
(=>     (and         (instance ?I Infecting)         (experiencer ?I ?H))     (exists (?T ?R ?O)         (and             (instance ?T Translocation)             (moves ?T ?O)             (instance ?O Organism)             (instance ?R Replication)             (experiencer ?R ?O)             (subProcess ?T ?I)             (subProcess ?R ?I))))	Mid-level-ontology.kif 6966-6978	If X is an instance of infecting and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of translocation (3) V moves during Z (4) V is an instance of organism (5) W is an instance of replication (6) V experiences W (7) Z is a subprocess of X (8) W is a subprocess of X
(=>     (and         (instance ?ACT Ingesting)         (resource ?ACT ?F))     (or         (instance ?F             (FoodForFn Organism))         (instance ?F Medicine)))	Mid-level-ontology.kif 10743-10749	If X is an instance of ingesting and Y is a resource for X, then Y is an instance of food for organism or Y is an instance of medicine
(=>     (and         (instance ?CHEW Chewing)         (resource ?CHEW ?FOOD))     (instance ?FOOD         (FoodForFn Organism)))	Mid-level-ontology.kif 13054-13058	If X is an instance of chewing and Y is a resource for X, then Y is an instance of food for organism
(=>     (attribute ?ORG Greedy)     (exists (?OBJ)         (and             (instance ?ORG Organism)             (instance ?OBJ Physical)             (desires ?ORG                 (possesses ?ORG ?OBJ))             (not                 (modalAttribute                     (possesses ?ORG ?OBJ) Necessity)))))	Mid-level-ontology.kif 21732-21740	If greedy is an attribute of X, then there exists Y such that X is an instance of organism, Y is an instance of physical, X desires X possesses Y, and the statement X doesn't possess Y doesn't have the modal force of necessity
(=>     (subclass ?F Fertilisation)     (capability ?F patient Organism))	Mid-level-ontology.kif 26273-26275	If X is a subclass of conceiving, then organism is capable of doing X as a patient
(=>     (attribute ?O Mortal)     (and         (instance ?O Organism)         (capability Death experiencer ?O)))	Mid-level-ontology.kif 26566-26570	If mortal is an attribute of X, then X is an instance of organism and X is capable of doing death as a experiencer
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners