consequent

(=>     (instance ?H Heart)     (hasPurpose ?H         (exists (?T ?HB ?B)             (and                 (instance ?HB HeartBeat)                 (instance ?T LiquidMotion)                 (instance ?B Blood)                 (moves ?T ?B)                 (causes ?HB ?T)))))	Mid-level-ontology.kif 12195-12204	If X is an instance of heart, then X has the purpose there exist Y, Z, W such that Z is an instance of heart beat, Y is an instance of liquid motion, W is an instance of blood, W moves during Y, and Z causes Y
(=>     (and         (instance ?HA HeartAttack)         (instance ?H Heart)         (located ?HA ?H))     (exists (?M)         (and             (instance ?M Muscle)             (part ?M ?H)             (not                 (exists (?BF ?B)                     (and                         (instance ?BF LiquidMotion)                         (objectTransferred ?BF ?B)                         (instance ?B Blood)                         (during ?BF                             (WhenFn ?HA))                         (destination ?BF ?M)))))))	Mid-level-ontology.kif 12868-12885	If X is an instance of myocardial infarction, Y is an instance of heart, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of muscle (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z
(=>     (and         (instance ?HA Stroke)         (instance ?H Brain)         (located ?HA ?H))     (exists (?M)         (and             (instance ?M NerveCell)             (part ?M ?H)             (not                 (exists (?BF ?B)                     (and                         (instance ?BF LiquidMotion)                         (objectTransferred ?BF ?B)                         (instance ?B Blood)                         (during ?BF                             (WhenFn ?HA))                         (destination ?BF ?M)))))))	Mid-level-ontology.kif 13415-13432	If X is an instance of stroke, Y is an instance of brain, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of nerve cell (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z
(=>     (and         (suppliesBlood ?AC ?BPC)         (instance ?A ?AC)         (instance ?BP ?BPC))     (hasPurpose ?A         (exists (?BF ?B)             (and                 (instance ?BF LiquidMotion)                 (objectTransferred ?BF ?B)                 (instance ?B Blood)                 (destination ?BF ?BP)))))	Anatomy.kif 1976-1987	If supplies blood X and Y, Z is an instance of X, and W is an instance of Y, then Z has the purpose there exist V, U such that V is an instance of liquid motion, the object transferred in V is U, U is an instance of blood, and V ends up at W
(=>     (instance ?CM CoffeeMaking)     (exists (?LM ?W ?CG)         (and             (subProcess ?LM ?CM)             (instance ?LM LiquidMotion)             (patient ?LM ?W)             (instance ?W DrinkingWater)             (destination ?LM ?CG)             (instance ?CG CoffeeGrind))))	Food.kif 640-649	If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a subprocess of X (3) Y is an instance of liquid motion (4) Z is a patient of Y (5) Z is an instance of potable water (6) Y ends up at W (7) W is an instance of coffee grind
(=>     (instance ?CM CoffeeMaking)     (holdsDuring ?CM         (exists (?LM ?S ?R)             (and                 (instance ?LM LiquidMotion)                 (instance ?S Soaking)                 (instance ?R Removing)                 (before                     (BeginFn                         (WhenFn ?LM))                     (BeginFn                         (WhenFn ?S)))                 (before                     (BeginFn                         (WhenFn ?S))                     (BeginFn                         (WhenFn ?R)))))))	Food.kif 679-692	If X is an instance of coffee making, then there exist Y, Z, W such that Y is an instance of liquid motion, Z is an instance of soaking, W is an instance of removing, the beginning of the time of existence of Y happens before the beginning of the time of existence of Z, and the beginning of the time of existence of Z happens before the beginning of the time of existence of W holds during X
(=>     (instance ?EM EspressoMaking)     (holdsDuring ?EM         (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)             (and                 (instance ?H Heating)                 (patient ?H ?W)                 (measure ?W                     (MeasureFn ?V Liter))                 (approximateValue ?V 0.03)                 (holdsDuring                     (EndFn                         (WhenFn ?H))                     (and                         (measure ?W                             (MeasureFn ?T CelsiusDegree))                         (approximateValue ?T 90)))                 (instance ?LM LiquidMotion)                 (patient ?LM ?W)                 (holdsDuring ?LM                     (and                         (measure ?W                             (MeasureFn ?P                                 (KiloFn Pascal)))                         (approximateValue ?P 900)))                 (destination ?LM ?COLL)                 (instance ?COLL CollectionOfObjects)                 (measure ?COLL                     (MeasureFn ?K Gram))                 (approximateValue ?K 7.5)                 (member ?COLL ?CG)                 (instance ?CG CoffeeGrind)                 (attribute ?CG FineGrind)                 (located ?COLL ?F)                 (instance ?F Filter)                 (instance ?R Removing)                 (instrument ?R ?F)                 (patient ?R ?COLL)                 (temporallyBetween                     (EndFn                         (WhenFn ?H))                     (EndFn                         (WhenFn ?LM))                     (EndFn                         (WhenFn ?R)))))))	Food.kif 776-811	If X is an instance of espresso making, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R,, , Q,, , P and O such that Y is an instance of heating and Z is a patient of Y and the measure of Z is W liter(s) and the approximate value of W is 0.03 and the measure of Z is V celsius degree(s) and the approximate value of V is 90 holds during the end of the time of existence of Y and U is an instance of liquid motion and Z is a patient of U and the measure of Z is T 1 thousand pascals(s) and the approximate value of T is 900 holds during U and U ends up at S and S is an instance of collection and the measure of S is R gram(s) and the approximate value of R is 7.5 and S is a member of Q and Q is an instance of coffee grind and fine grind is an attribute of Q and S is located at P and P is an instance of filter and O is an instance of removing and P is an instrument for O and S is a patient of O and the end of the time of existence of U is between the end of the time of existence of Y and the end of the time of existence of O holds during X

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