consequent

(=>     (and         (instance ?X BreakingRecord)         (agent ?X ?A1))     (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)         (and             (instance ?AC Set)             (element ?A1 ?AC)             (subclass ?PC Process)             (instance ?L Region)             (instance ?TP TimePoint)             (instance ?Q Quantity)             (instance ?P1 ?PC)             (refers ?X ?Q)             (refers ?Q ?P1)             (playsRoleInEvent ?A1 ?ROLE ?P1)             (eventLocated ?P1 ?L)             (not                 (exists (?A2 ?P2)                     (and                         (instance ?A2 ?AC)                         (not                             (equal ?A2 ?A1))                         (instance ?P2 ?PC)                         (holdsDuring                             (TimeIntervalFn ?TP                                 (EndFn                                     (WhenFn ?X)))                             (and                                 (playsRoleInEvent ?A2 ?ROLE ?P2)                                 (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 31908-31938	If a process is an instance of BreakingRecord and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and playsRoleInEvent the agent, the case role and the other process and event located the other process and the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and equal the other entity and the agent and the third entity is an instance of the class and playsRoleInEvent the other entity, the case role and the third entity and event located the third entity and the object holds during interval between the time point and the end of the time of existence of the process
(=>     (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 9605-9615	If equal decomposition of a time interval into the time intervalTYPEs and another time interval, then for all a time position if the time position is an instance of time point and the time position is a part of the time interval, then there exists another time position such that the other time position is an instance of the other time interval and the time position is a part of the other time position
(=>     (instance ?INTERVAL TimeInterval)     (exists (?POINT)         (and             (instance ?POINT TimePoint)             (temporalPart ?POINT ?INTERVAL))))	Merge.kif 8054-8059	If a time position is an instance of time interval, then there exists another time position such that the other time position is an instance of time point and the other time position is a part of the time position
(=>     (instance ?OBJ Object)     (exists (?TIME1 ?TIME2)         (and             (instance ?TIME1 TimePoint)             (instance ?TIME2 TimePoint)             (before ?TIME1 ?TIME2)             (forall (?TIME)                 (=>                     (and                         (beforeOrEqual ?TIME1 ?TIME)                         (beforeOrEqual ?TIME ?TIME2))                     (time ?OBJ ?TIME))))))	Merge.kif 8245-8257	If a physical is an instance of object, then there exist a time point and another time point such that the time point is an instance of time point and the other time point is an instance of time point and the time point happens before the other time point and for all a third time point if the time point happens before or at the third time point and the third time point happens before or at the other time point, then the physical exists during the third time point
(=>     (temporallyBetweenOrEqual         (BeginFn             (WhenFn ?PHYS)) ?TIME         (EndFn             (WhenFn ?PHYS)))     (and         (time ?PHYS ?TIME)         (instance ?TIME TimePoint)))	Merge.kif 8347-8356	If a time point is between or at the beginning of the time of existence of a physical and the end of the time of existence of the physical, then the physical exists during the time point and the time point is an instance of time point

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