consequent

! [V__P1,V__P2] : (((s__instance(V__P1,s__Process) &        s__instance(V__P2,s__Process))      =>      (s__causes(V__P1,V__P2)      =>      s__earlier(s__WhenFn(V__P1)   ,s__WhenFn(V__P2)))) )	Merge.kif 3901-3903	If X causes Y, then the time of existence of X happens earlier than the time of existence of Y
! [V__INTERVAL1,V__INTERVAL2] : (((s__instance(V__INTERVAL1,s__TimeInterval) &        s__instance(V__INTERVAL2,s__TimeInterval))      =>      (s__before(s__EndFn(V__INTERVAL1)     ,s__BeginFn(V__INTERVAL2)) => s__earlier(V__INTERVAL1,V__INTERVAL2))) )	Merge.kif 8584-8586	If the end of X happens before the beginning of Y, then X happens earlier than Y
! [V__Y1,V__N1,V__Y2,V__N2] : (((s__instance(V__Y1,s__TimeInterval) &        s__instance(V__N1,s__Integer) &        s__instance(V__Y2,s__TimeInterval) &        s__instance(V__N2,s__Integer))      =>      ((s__instance(V__Y1,s__YearFn(V__N1))      &      s__instance(V__Y2,s__YearFn(V__N2)) & s__greaterThan(V__N2,V__N1)) => s__earlier(V__Y1,V__Y2))) )	Merge.kif 8901-8906	If X is an instance of the year Y, Z is an instance of the year W, and W is greater than Y, then X happens earlier than Z
! [V__M1,V__N1,V__Y,V__M2,V__N2] : (((s__instance(V__M1,s__TimeInterval) &        s__instance(V__N1,s__Class) &        s__subclass(V__N1,s__Month) &        s__instance(V__Y,s__Integer) &        s__instance(V__M2,s__TimeInterval) &        s__instance(V__N2,s__Class) &        s__subclass(V__N2,s__Month))      =>      ((s__instance(V__M1,s__MonthFn(V__N1,s__YearFn(V__Y)))    &    s__instance(V__M2,s__MonthFn(V__N2,s__YearFn(V__Y))) & s__successorClass(V__N1,V__N2)) => s__earlier(V__M1,V__M2))) )	Merge.kif 8917-8922	If X is an instance of the month Y, Z is an instance of the month W, and W is the successor class of Y., then X happens earlier than Z
! [V__D1,V__N1,V__M,V__Y,V__D2,V__N2] : (((s__instance(V__D1,s__TimeInterval) &        s__instance(V__N1,s__PositiveInteger) &        s__subclass(V__M,s__Month) &        s__instance(V__Y,s__Integer) &        s__instance(V__D2,s__TimeInterval) &        s__instance(V__N2,s__PositiveInteger))      =>      ((s__instance(V__D1,s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y)))) & s__instance(V__D2,s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y)))) & s__greaterThan(V__N2,V__N1)) => s__earlier(V__D1,V__D2))) )	Merge.kif 8933-8938	If X is an instance of the day Y of month the month Z, W is an instance of the day V of month the month Z, and V is greater than Y, then X happens earlier than W
! [V__INTERVAL,V__INTERVALTYPE,V__CLASS] : (((s__instance(V__INTERVAL,s__TimeInterval) &        s__subclass(V__INTERVALTYPE,s__TimeInterval) &        s__instance(V__CLASS,s__Class) &        s__subclass(V__CLASS,s__TimeInterval))      =>      ((s__TemporalCompositionFn(V__INTERVAL,V__INTERVALTYPE)        = V__CLASS)      =>      (! [V__TIME1,V__TIME2] :        (((s__instance(V__TIME1,s__TimeInterval) &              s__instance(V__TIME2,s__TimeInterval))            =>            ((s__instance(V__TIME1,V__CLASS)              &              s__instance(V__TIME2,V__CLASS)            &            ~((V__TIME1 = V__TIME2)))          =>          (s__meetsTemporally(V__TIME1,V__TIME2)          |          s__meetsTemporally(V__TIME2,V__TIME1)        |        s__earlier(V__TIME1,V__TIME2)      |      s__earlier(V__TIME2,V__TIME1)))))))) )	Merge.kif 9620-9632	If equal decomposition of X into Y and Z, then For all TimeIntervals W and V: if equal W and V, then At least one of the following holds: (1) W meets V (2) V meets W (3) W happens earlier than V (4) V happens earlier than W
! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__ORG) & s__patient(V__JOIN, V__PERSON)) => s__expects(V__ORG, ( ? [V__FT:$i] : ((s__instance(V__FT, s__FinancialTransaction) & s__agent(V__FT, V__ORG) & s__destination(V__FT, V__PERSON) & s__earlier(s__WhenFn(V__JOIN), s__WhenFn(V__FT))))))))	Merge.kif 10878-10890	If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true
! [V__DECISION] : ((s__instance(V__DECISION,s__LegalDecision) =>      (? [V__DECIDE,V__LD] :        ((s__instance(V__LD,s__Class) &            (s__instance(V__DECIDE,s__Deciding) &              s__result(V__DECIDE,V__LD)            &            s__instance(V__DECISION,V__LD)          &          s__earlier(s__WhenFn(V__DECIDE)       ,s__WhenFn(V__DECISION))))))) )	Merge.kif 11048-11055	If X is an instance of legal decision, then there exist Y, Z such that Y is an instance of deciding, Z is a result of Y, X is an instance of Z, and the time of existence of Y happens earlier than the time of existence of X
! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__QuantityChange) & s__patient(V__D, V__OBJ)) => ( ? [V__N1:$real, V__N2:$real, V__T1:$i, V__T2:$i, V__U:$i] : ((s__earlier(V__T1, V__T2) & s__holdsDuring(V__T1, s__measure(V__OBJ, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(V__T2, s__measure(V__OBJ, s__MeasureFn(V__N2, V__U))) & ~(V__N1 = V__N2))))))	Merge.kif 11130-11143	If X is an instance of quantity change and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and equal Z and W
! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__Increasing) & s__patient(V__D, V__OBJ)) => ( ? [V__N1:$real, V__N2:$real, V__T1:$i, V__T2:$i, V__U:$i] : ((s__earlier(V__T1, V__T2) & s__holdsDuring(V__T1, s__measure(V__OBJ, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(V__T2, s__measure(V__OBJ, s__MeasureFn(V__N2, V__U))) & ($greater(V__N1,V__N2)))))))	Merge.kif 11151-11164	If X is an instance of increasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is greater than W
! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__Decreasing) & s__patient(V__D, V__OBJ)) => ( ? [V__N1:$real, V__N2:$real, V__T1:$i, V__T2:$i, V__U:$i] : ((s__earlier(V__T1, V__T2) & s__holdsDuring(V__T1, s__measure(V__OBJ, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(V__T2, s__measure(V__OBJ, s__MeasureFn(V__N2, V__U))) & ($less(V__N1,V__N2)))))))	Merge.kif 11193-11206	If X is an instance of decreasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is less than W
! [V__IMPACT,V__OBJ] : (((s__instance(V__IMPACT,s__Impacting) &        s__patient(V__IMPACT,V__OBJ))    =>    (? [V__IMPEL] :      ((s__instance(V__IMPEL,s__Impelling) &          s__patient(V__IMPEL,V__OBJ)        &        s__earlier(s__WhenFn(V__IMPEL)     ,s__WhenFn(V__IMPACT)))))) )	Merge.kif 11815-11823	If X is an instance of impacting and Y is a patient of X, then there exists Z such that Z is an instance of impelling, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X
! [V__AGENT,V__DEST,V__RETURN] : (((s__instance(V__AGENT,s__AutonomousAgent) &        s__instance(V__DEST,s__AutonomousAgent))      =>      ((s__instance(V__RETURN,s__GivingBack) &          s__agent(V__RETURN,V__AGENT)        &        s__destination(V__RETURN,V__DEST))    =>    (? [V__GIVE] :      ((s__instance(V__GIVE,s__Giving) &          s__agent(V__GIVE,V__DEST)        &        s__destination(V__GIVE,V__AGENT)      &      s__earlier(s__WhenFn(V__GIVE)   ,s__WhenFn(V__RETURN))))))) )	Merge.kif 12039-12049	If X is an instance of giving back, Y is an agent of X, and X ends up at Z, then there exists W such that W is an instance of giving, Z is an agent of W, W ends up at Y, and the time of existence of W happens earlier than the time of existence of X
! [V__FORMULA : $i,V__PREDICT : $i] : (((s__instance(V__PREDICT, s__Predicting) & s__containsFormula(V__PREDICT, V__FORMULA)) => ( ? [V__TIME:$i] : ((s__holdsDuring(V__TIME, V__FORMULA) & s__earlier(V__TIME, s__WhenFn(V__PREDICT)))))))	Merge.kif 12435-12442	If X is an instance of predicting and X contains the formula Y, then there exists Z such that Y holds during Z and Z happens earlier than the time of existence of X
! [V__FORMULA : $i,V__REMEMBER : $i] : (((s__instance(V__REMEMBER, s__Remembering) & s__containsFormula(V__REMEMBER, V__FORMULA)) => ( ? [V__TIME:$i] : ((s__holdsDuring(V__TIME, V__FORMULA) & (s__before(V__TIME, s__WhenFn(V__REMEMBER)) | s__earlier(V__TIME, s__WhenFn(V__REMEMBER))))))))	Merge.kif 12449-12458	If X is an instance of remembering and X contains the formula Y, then there exists Z such that Y holds during Z and Z happens before the time of existence of X or Z happens earlier than the time of existence of X
! [V__AGENT,V__KEEP,V__OBJ] : ((s__instance(V__AGENT,s__AutonomousAgent) =>      ((s__instance(V__KEEP,s__Keeping) &          s__agent(V__KEEP,V__AGENT)        &        s__patient(V__KEEP,V__OBJ))    =>    (? [V__PUT] :      ((s__instance(V__PUT,s__Putting) &          s__agent(V__PUT,V__AGENT)        &        s__patient(V__PUT,V__OBJ)      &      s__earlier(s__WhenFn(V__PUT)   ,s__WhenFn(V__KEEP))))))) )	Merge.kif 12464-12474	If X is an instance of keeping, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of putting, Y is an agent of W, Z is a patient of W, and the time of existence of W happens earlier than the time of existence of X
! [V__REPAIR,V__OBJ] : (((s__instance(V__REPAIR,s__Repairing) &        s__patient(V__REPAIR,V__OBJ))    =>    (? [V__DAMAGE] :      ((s__instance(V__DAMAGE,s__Damaging) &          s__patient(V__DAMAGE,V__OBJ)        &        s__earlier(s__WhenFn(V__DAMAGE)     ,s__WhenFn(V__REPAIR)))))) )	Merge.kif 12515-12523	If X is an instance of repairing and Y is a patient of X, then there exists Z such that Z is an instance of damaging, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X
! [V__ATTR1 : $i,V__ATTR2 : $i,V__OBJ : $i,V__TIME1 : $i] : (((s__holdsDuring(V__TIME1, s__developmentalForm(V__OBJ, V__ATTR1)) & s__successorAttributeClosure(V__ATTR2, V__ATTR1)) => ( ? [V__TIME2:$i] : ((s__earlier(V__TIME2, V__TIME1) & s__holdsDuring(V__TIME2, s__developmentalForm(V__OBJ, V__ATTR2)))))))	Merge.kif 14650-14657	If the developmental form of X is Y holds during Z and W is a successor attribute of Y, then there exists V such that V happens earlier than Z and the developmental form of X is W holds during V
! [V__OBJ : $i,V__REM : $i] : (((s__instance(V__REM, s__OrganismRemains) & s__holdsDuring(s__WhenFn(V__REM), s__part(V__OBJ, V__REM))) => ( ? [V__ORG:$i] : ((s__instance(V__ORG, s__Organism) & s__earlier(s__WhenFn(V__ORG), s__WhenFn(V__REM)) & s__finishes(s__WhenFn(V__REM), s__WhenFn(V__ORG)) & s__holdsDuring(s__WhenFn(V__ORG), s__part(V__OBJ, V__ORG)))))))	Mid-level-ontology.kif 32-43	If X is an instance of organism remains and Y is a part of X holds during the time of existence of X, then there exists Z such that Z is an instance of organism, the time of existence of Z happens earlier than the time of existence of X, the time of existence of X finishes the time of existence of Z, and Y is a part of Z holds during the time of existence of Z
! [V__ANSWER] : ((s__instance(V__ANSWER,s__Answering) =>      (? [V__QUESTION] :        ((s__instance(V__QUESTION,s__Questioning) &            s__refers(V__ANSWER,V__QUESTION)          &          s__earlier(s__WhenFn(V__QUESTION)       ,s__WhenFn(V__ANSWER)))))) )	Mid-level-ontology.kif 888-894	If X is an instance of answering, then there exists Y such that Y is an instance of questioning, X includes a reference to Y, and the time of existence of Y happens earlier than the time of existence of X
! [V__T : $i,V__X : $i] : ((s__holdsDuring(V__T, s__attribute(V__X, s__Locked)) => ( ? [V__LOCK:$i, V__CLOSE:$i, V__MOVE:$i] : ((s__instance(V__LOCK, s__Lock) & s__connected(V__LOCK, V__X) & s__instance(V__CLOSE, s__Closing) & s__patient(V__CLOSE, V__LOCK) & s__instance(V__MOVE, s__Motion) & s__earlier(s__WhenFn(V__CLOSE), V__T) & s__holdsDuring(V__T, ~(s__modalAttribute(s__patient(V__MOVE, V__X), s__Possibility))))))))	Mid-level-ontology.kif 3299-3314	If locked is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of lock (3) Z is connected to X (4) W is an instance of closing (5) Z is a patient of W (6) V is an instance of motion (7) the time of existence of W happens earlier than Y (8) the statement X is not a patient of V doesn't have the modal force of possibility holds during Y
! [V__P1 : $i,V__P2 : $i,V__T1 : $i] : (((s__holdsDuring(V__T1, s__spouse(V__P1, V__P2)) & s__instance(V__T1, s__TimeInterval)) => ( ? [V__WED:$i] : ((s__instance(V__WED, s__Wedding) & s__patient(V__WED, V__P1) & s__patient(V__WED, V__P2) & s__earlier(s__WhenFn(V__WED), V__T1))))))	Mid-level-ontology.kif 9293-9303	If X is the spouse of Y holds during Z and Z is an instance of timeframe, then there exists W such that W is an instance of wedding, X is a patient of W, Y is a patient of W, and the time of existence of W happens earlier than Z
! [V__H : $i,V__T : $i] : ((s__holdsDuring(V__T, s__attribute(V__H, s__PostTraumaticStressDisorder)) => ( ? [V__V:$i] : ((s__instance(V__V, s__ViolentContest) & s__earlier(s__WhenFn(V__V), V__T) & s__involvedInEvent(V__V, V__H))))))	Mid-level-ontology.kif 11192-11200	If PTSD is an attribute of X holds during Y, then there exists Z such that Z is an instance of violent contest, the time of existence of Z happens earlier than Y, and X is an involved in event of Z
! [V__B] : ((s__instance(V__B,s__Breath) =>      (? [V__I,V__E] :        ((s__instance(V__I,s__Process) &            s__instance(V__E,s__Process) &            (s__subProcess(V__I,V__B)            &            s__subProcess(V__E,V__B)          &          s__earlier(s__WhenFn(V__I)       ,s__WhenFn(V__E))    &    s__meetsTemporally(s__WhenFn(V__I) ,s__WhenFn(V__E))))))) )	Mid-level-ontology.kif 11815-11826	If X is an instance of breath, then there exist Y, Z such that Y is a subprocess of X, Z is a subprocess of X, the time of existence of Y happens earlier than the time of existence of Z, and the time of existence of Y meets the time of existence of Z
! [V__D : $i,V__O : $i,V__T : $i] : ((s__holdsDuring(V__T, s__dataStored(V__O, V__D)) => ( ? [V__P:$i] : ((s__instance(V__P, s__Writing) & s__destination(V__P, V__D) & s__patient(V__P, V__O) & s__earlier(s__WhenFn(V__P), V__T))))))	Mid-level-ontology.kif 15972-15980	If X is stored on Y holds during Z, then there exists W such that W is an instance of writing, W ends up at X, Y is a patient of W, and the time of existence of W happens earlier than Z
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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners