consequent

(=>     (frequency ?PROC ?TIME1)     (forall (?TIME2)         (=>             (duration ?TIME2 ?TIME1)             (exists (?POSITION)                 (and                     (temporalPart ?POSITION ?TIME2)                     (holdsDuring ?POSITION                         (exists (?INST)                             (instance ?INST ?PROC))))))))	Merge.kif 8022-8032	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 8045-8050	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 8052-8057	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 8079-8082	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 8103-8110	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 8121-8128	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 8367-8373	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 8391-8393	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 8423-8429	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 8478-8485	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 8563-8572	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 9603-9613	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 10267-10269	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 12362-12370	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 12891-12904	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 14551-14557	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 15096-15102	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 15130-15136	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 9920-9931	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 10265-10271	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 10778-10788	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 16313-16322	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 18378-18389	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 18618-18630	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 19133-19155	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 is open source software produced by Articulate Software and its partners