consequent

(=>     (frequency ?PROC ?TIME1)     (forall (?TIME2)         (=>             (duration ?TIME2 ?TIME1)             (exists (?POSITION)                 (and                     (temporalPart ?POSITION ?TIME2)                     (holdsDuring ?POSITION                         (exists (?INST)                             (instance ?INST ?PROC))))))))	Merge.kif 8091-8101	If X occurs every Y, then For all TimeInterval Z: if duration of Z is Y, then there exists W such that W is a part of Z and there exists V such that V is an instance of X holds during W
(=>     (instance ?POINT TimePoint)     (exists (?INTERVAL)         (and             (instance ?INTERVAL TimeInterval)             (temporalPart ?POINT ?INTERVAL))))	Merge.kif 8114-8119	If X is an instance of time point, then there exists Y such that Y is an instance of timeframe and X is a part of Y
(=>     (instance ?INTERVAL TimeInterval)     (exists (?POINT)         (and             (instance ?POINT TimePoint)             (temporalPart ?POINT ?INTERVAL))))	Merge.kif 8121-8126	If X is an instance of timeframe, then there exists Y such that Y is an instance of time point and Y is a part of X
(=>     (time ?THING ?POS)     (temporalPart ?POS         (WhenFn ?THING)))	Merge.kif 8148-8151	If X exists during Y, then Y is a part of the time of existence of X
(=>     (equal         (BeginFn ?INTERVAL) ?POINT)     (forall (?OTHERPOINT)         (=>             (and                 (temporalPart ?OTHERPOINT ?INTERVAL)                 (not                     (equal ?OTHERPOINT ?POINT)))             (before ?POINT ?OTHERPOINT))))	Merge.kif 8172-8179	If equal the beginning of X and Y, then For all TimePoint Z: if Z is a part of X and equal Z and Y, then Y happens before Z
(=>     (equal         (EndFn ?INTERVAL) ?POINT)     (forall (?OTHERPOINT)         (=>             (and                 (temporalPart ?OTHERPOINT ?INTERVAL)                 (not                     (equal ?OTHERPOINT ?POINT)))             (before ?OTHERPOINT ?POINT))))	Merge.kif 8190-8197	If equal the end of X and Y, then For all TimePoint Z: if Z is a part of X and equal Z and Y, then Z happens before Y
(=>     (overlapsTemporally ?INTERVAL1 ?INTERVAL2)     (exists (?INTERVAL3)         (and             (instance ?INTERVAL3 TimeInterval)             (temporalPart ?INTERVAL3 ?INTERVAL1)             (temporalPart ?INTERVAL3 ?INTERVAL2))))	Merge.kif 8436-8442	If X overlaps Y, then there exists Z such that Z is an instance of timeframe, Z is a part of Y, and Z is a part of X
(=>     (during ?SMALL ?BIG)     (temporalPart ?SMALL ?BIG))	Merge.kif 8460-8462	If X takes place during Y, then X is a part of Y
(=>     (overlapsTemporally ?INTERVAL1 ?INTERVAL2)     (exists (?INTERVAL3)         (and             (instance ?INTERVAL3 TimePosition)             (temporalPart ?INTERVAL3 ?INTERVAL1)             (temporalPart ?INTERVAL3 ?INTERVAL2))))	Merge.kif 8492-8498	If X overlaps Y, then there exists Z such that Z is an instance of time position, Z is a part of Y, and Z is a part of X
(=>     (meetsTemporally ?T1 ?T2)     (not         (exists (?T3)             (and                 (instance ?T3 TimeInterval)                 (temporalPart ?T3 ?T1)                 (temporalPart ?T3 ?T2)))))	Merge.kif 8547-8554	If X meets Y, then there doesn't exist Z such that Z is an instance of timeframe, Z is a part of X, and Z is a part of Y
(=>     (and         (instance ?POINT1 TimePoint)         (instance ?POINT2 TimePoint)         (instance ?INTERVAL TimeInterval)         (equal             (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))     (forall (?POINT)         (<=>             (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)             (temporalPart ?POINT ?INTERVAL))))	Merge.kif 8632-8641	If X is an instance of time point, Y is an instance of time point, Z is an instance of timeframe, and equal interval between X, Y, and Z, then For all TimePoint W: W is between or at X, Y if, and only if W is a part of Z
(=>     (equal         (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)     (forall (?TIME)         (=>             (and                 (instance ?TIME TimePoint)                 (temporalPart ?TIME ?INTERVAL))             (exists (?INSTANCE)                 (and                     (instance ?INSTANCE ?CLASS)                     (temporalPart ?TIME ?INSTANCE))))))	Merge.kif 9672-9682	If equal decomposition of X into Y and Z, then For all TimePosition W: if W is an instance of time point and W is a part of X, then there exists V such that V is an instance of Z and W is a part of V
(=>     (subProcess ?SUBPROC ?PROC)     (temporalPart         (WhenFn ?SUBPROC)         (WhenFn ?PROC)))	Merge.kif 10333-10335	If X is a subprocess of Y, then the time of existence of X is a part of the time of existence of Y
(=>     (and         (instance ?KEEP Keeping)         (patient ?KEEP ?OBJ))     (exists (?PLACE)         (forall (?TIME)             (=>                 (temporalPart ?TIME                     (WhenFn ?KEEP))                 (holdsDuring ?TIME                     (located ?OBJ ?PLACE))))))	Merge.kif 12476-12484	If X is an instance of keeping and Y is a patient of X, then there exists Z such that W W is a part of the time of existence of XY is located at Z holds during W
(=>     (and         (instance ?DECODE Decoding)         (patient ?DECODE ?DOC1))     (exists (?ENCODE ?DOC2 ?TIME ?PROP)         (and             (containsInformation ?DOC2 ?PROP)             (containsInformation ?DOC1 ?PROP)             (temporalPart ?TIME                 (PastFn                     (WhenFn ?DECODE)))             (holdsDuring ?TIME                 (and                     (instance ?ENCODE Encoding)                     (patient ?ENCODE ?DOC2))))))	Merge.kif 13005-13018	If X is an instance of decoding and Y is a patient of X, then there exist Z, W,, , V, U such that W contains information U, Y contains information U, V is a part of before the time of existence of X, Z is an instance of encoding, and W is a patient of Z holds during V
(=>     (holdsDuring ?T1         (inhabits ?ORGANISM ?OBJ))     (exists (?TIME)         (and             (instance ?TIME TimeInterval)             (temporalPart ?TIME ?T1)             (holdsDuring ?TIME                 (located ?ORGANISM ?OBJ)))))	Merge.kif 14688-14694	If X lives in Y holds during Z, then there exists W such that W is an instance of timeframe, W is a part of Z, and X is located at Y holds during W
(=>     (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
(=>     (holdsDuring ?TIME         (attribute ?PERSON Drunk))     (exists (?PAST)         (and             (temporalPart ?PAST                 (PastFn ?TIME))             (holdsDuring ?PAST                 (exists (?DRINK ?ALCOHOL)                     (and                         (instance ?DRINK Drinking)                         (patient ?DRINK ?ALCOHOL)                         (instance ?ALCOHOL AlcoholicBeverage)                         (agent ?DRINK ?PERSON)))))))	Mid-level-ontology.kif 10033-10044	If drunk is an attribute of X holds during Y, then there exists Z such that Z is a part of before Y, there exist W, V such that W is an instance of drinking, V is a patient of W, V is an instance of alcoholic beverage, and X is an agent of W holds during Z
(=>     (holdsDuring ?TIME         (instance ?AREA MilitaryFront))     (exists (?BATTLE)         (and             (instance ?BATTLE Battle)             (eventLocated ?BATTLE ?AREA)             (temporalPart ?TIME ?BATTLE))))	Mid-level-ontology.kif 10385-10391	If X is an instance of military front holds during Y, then there exists Z such that Z is an instance of battle, Z is located at X, and Y is a part of Z
(=>     (instance ?S Scar)     (exists (?T ?OP ?L)         (and             (temporalPart ?T                 (PastFn                     (WhenFn ?S)))             (holdsDuring ?T                 (instance ?L Lesion))             (instance ?OP OrganOrTissueProcess)             (patient ?OP ?L)             (result ?OP ?S))))	Mid-level-ontology.kif 10900-10910	If X is an instance of scar, then there exist Y, Z, W such that Y is a part of before the time of existence of X, W is an instance of lesion holds during Y, Z is an instance of organ or tissue process, W is a patient of Z, and X is a result of Z
(=>     (and         (subclass ?PAPER Newspaper)         (instance ?WEEK Week))     (exists (?PUBLICATION ?ISSUE)         (and             (instance ?PUBLICATION Publication)             (temporalPart                 (WhenFn ?PUBLICATION) ?WEEK)             (result ?PUBLICATION ?ISSUE)             (instance ?ISSUE ?PAPER))))	Mid-level-ontology.kif 16396-16405	If X is a subclass of newspaper and Y is an instance of week, then there exist Z, W such that Z is an instance of publication, the time of existence of Z is a part of Y, W is a result of Z, and W is an instance of X
(=>     (classmate ?A1 ?A2 ?COURSE)     (exists (?CLASS ?EDU ?TIME)         (and             (instance ?CLASS GroupOfPeople)             (instance ?EDU EducationalProcess)             (realization ?EDU ?COURSE)             (patient ?EDU ?CLASS)             (temporalPart ?TIME                 (WhenFn ?EDU))             (memberAtTime ?A1 ?CLASS ?TIME)             (memberAtTime ?A2 ?CLASS ?TIME))))	Mid-level-ontology.kif 18429-18440	If X and Y were taught in the same EducationalProcess Z together, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of group of people (3) V is an instance of educational process (4) V expresses the content of Z (5) W is a patient of V (6) U is a part of the time of existence of V (7) X is a member of W during U (8) Y is a member of W during U
(=>     (and         (instance ?GOAL GameGoal)         (instrument ?GAME ?GOAL)         (instance ?GAME Game)         (subProcess ?SCORE ?GAME)         (instance ?SCORE Score))     (exists (?PIECE ?TIME)         (and             (instance ?PIECE GamePiece)             (patient ?SCORE ?PIECE)             (temporalPart ?TIME                 (WhenFn ?SCORE))             (holdsDuring ?TIME                 (located ?PIECE ?GOAL)))))	Mid-level-ontology.kif 18669-18681	If X is an instance of game goal, X is an instrument for Y, Y is an instance of game, Z is a subprocess of Y, and Z is an instance of score, then there exist W, V such that W is an instance of game piece, W is a patient of Z, V is a part of the time of existence of Z, and W is located at X holds during V
(=>     (instance ?D Disappearing)     (exists (?OBJ ?AGENT ?SEARCH ?TIME)         (and             (instance ?SEARCH Searching)             (earlier                 (WhenFn ?D)                 (WhenFn ?SEARCH))             (agent ?SEARCH ?AGENT)             (instance ?OBJ Object)             (patient ?D ?OBJ)             (patient ?SEARCH ?OBJ)             (instance ?TIME TimeInterval)             (temporalPart ?TIME                 (WhenFn ?SEARCH))             (holdsDuring ?TIME                 (not                     (modalAttribute                         (exists (?DISC)                             (and                                 (instance ?DISC Discovering)                                 (agent ?DISC ?AGENT)                                 (patient ?DISC ?OBJ))) Possibility))))))	Mid-level-ontology.kif 19162-19184	If X is an instance of disappearing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of searching (3) the time of existence of X happens earlier than the time of existence of W (4) Z is an agent of W (5) Y is an instance of object (6) Y is a patient of X (7) Y is a patient of W (8) V is an instance of timeframe (9) V is a part of the time of existence of W (10) the statement there doesn't exist U such that U is an instance of discovering (11) Z is an agent of U (12) Y is a patient of U doesn't have the modal force of possibility holds during V
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