consequent

(=>     (and         (instance ?POINT TimePoint)         (not             (equal ?POINT PositiveInfinity)))     (exists (?OTHERPOINT)         (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))	Merge.kif 8049-8054	If X is an instance of time point and equal X and positive infinity, then there exists Y such that Y is between X and positive infinity
(=>     (and         (instance ?POINT TimePoint)         (not             (equal ?POINT NegativeInfinity)))     (exists (?OTHERPOINT)         (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))	Merge.kif 8067-8072	If X is an instance of time point and equal X and negative infinity, then there exists Y such that Y is between negative infinity and X
(=>     (finishesDuring ?INTERVAL1 ?INTERVAL2)     (temporallyBetween         (BeginFn ?INTERVAL2)         (EndFn ?INTERVAL1)         (EndFn ?INTERVAL2)))	Merge.kif 8279-8281	If finishes during X and Y, then the end of X is between the beginning of Y and the end of Y
(=>     (startsDuring ?INTERVAL1 ?INTERVAL2)     (temporallyBetween         (BeginFn ?INTERVAL2)         (BeginFn ?INTERVAL1)         (EndFn ?INTERVAL2)))	Merge.kif 8292-8294	If starts during X and Y, then the beginning of X is between the beginning of Y and the end of Y
(=>     (and         (before ?POINT1 ?POINT2)         (before ?POINT2 ?POINT3))     (temporallyBetween ?POINT1 ?POINT2 ?POINT3))	Merge.kif 8378-8382	If X happens before Y and Y happens before Z, then Y is between X and Z
(=>     (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 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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners