SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > WhenFn
Next TemporalRelation: YearFn    Up: TemporalRelation, UnaryFunction    Previous TemporalRelation: time   

WhenFn
subjectfact 
WhenFndocumentation A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists. Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), ?THING is not existant at ?TIME2001-11-30 13:35:35.0
has axiom 
(<=>
    (cooccur ?PHYS1 ?PHYS2)
    (equal (WhenFn ?PHYS1) (WhenFn ?PHYS2)))
2001-11-30 13:35:35.0
has axiom 
(<=>
    (existant ?PHYS ?TIME)
    (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))))
2001-11-30 13:35:35.0
has axiom 
(<=>
    (instance ?PROCESS Creation)
    (exists (?PATIENT)
       (and 
          (patient ?PROCESS ?PATIENT)
          (existant ?PATIENT (ImmediateFutureFn(WhenFn ?PROCESS))) 
          (not 
             (existant ?PATIENT (ImmediatePastFn (WhenFn ?PROCESS)))))))
2001-11-30 13:35:35.0
has axiom 
(<=>
    (instance ?PROCESS Destruction)
    (exists (?PATIENT)
       (and 
          (patient ?PROCESS ?PATIENT)
          (existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) 
          (not 
             (existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))
2001-11-30 13:35:35.0
has axiom 
(<=>
    (temporalPart ?POINT (WhenFn ?THING))
    (existant ?THING ?POINT))
2001-11-30 13:35:35.0
has axiom 
(=>
      (and
           (resource ?PROC ?OBJ)
           (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT1))
           (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT2)))
      (greaterThan ?QUANT1 ?QUANT2))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?ALT ShapeAlteration)
       (patient ?ALT ?OBJ))
    (exists (?PROPERTY)
       (and
          (instance ?PROPERTY ShapeProperty)
          (or
             (and
                (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY))
                (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))))
             (and
                (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))
                (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)))))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?CHANGE ChangeOfPossession)
       (patient ?CHANGE ?OBJ)
       (holdsDuring (ImmediatePastFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ))
       (holdsDuring (ImmediateFutureFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ)))
    (not
       (equal ?AGENT1 ?AGENT2)))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?COLORING Coloring)
       (patient ?COLORING ?OBJ))
    (exists (?PROPERTY)
       (and
          (holdsDuring (ImmediatePastFn (WhenFn ?COLORING)) (attribute ?OBJ ?PROPERTY))
          (holdsDuring (ImmediateFutureFn (WhenFn ?COLORING)) (not (attribute ?OBJ ?PROPERTY))))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?DECODE Decoding)
       (patient ?DECODE ?DOC1)) 
    (exists (?ENCODE ?DOC2)
       (and
          (containsInformation ?DOC2 ?PROP)
          (containsInformation ?DOC1 ?PROP)
          (holdsDuring ?TIME 
             (and 
                (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) 
                (instance ?ENCODE Encoding) 
                (patient ?ENCODE ?DOC2))))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?DECREASE Decreasing)
       (patient ?DECREASE ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
    	(and
          (holdsDuring (ImmediatePastFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1))
 	   (holdsDuring (ImmediateFutureFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2))
 	   (lessThan ?QUANT2 ?QUANT1))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?DRY Drying)
       (patient ?DRY ?OBJ))
    (holdsDuring (ImmediateFutureFn (WhenFn ?DRY))
       (or
          (attribute ?OBJ Anhydrous)
          (attribute ?OBJ Dry))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?GIVE Giving)
       (agent ?GIVE ?AGENT1)
       (destination ?GIVE ?AGENT2)
       (instance ?AGENT2 Agent)
       (patient ?GIVE ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ))
       (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?IMPACT Impacting)
       (instrument ?IMPACT ?INST)
       (patient ?IMPACT ?PLACE))
    (holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?INCREASE Increasing)
       (patient ?INCREASE ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
    	(and
          (holdsDuring (ImmediatePastFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1))
 	   (holdsDuring (ImmediateFutureFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2))
 	   (greaterThan ?QUANT2 ?QUANT1))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?INVESTIGATE Investigating)
       (agent ?INVESTIGATE ?AGENT)
       (patient ?INVESTIGATE ?PROP))
    (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?KILL Killing)
       (patient ?KILL ?PATIENT))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living))
       (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?MEAS Measuring)
       (agent ?MEAS ?AGENT)
       (patient ?MEAS ?OBJ))
    (exists (?QUANT ?UNIT)
       (holdsDuring (ImmediateFutureFn (WhenFn ?MEAS))
          (knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?MOTION Motion)
       (patient ?MOTION ?OBJ)
       (origin ?MOTION ?PLACE))
    (holdsDuring (ImmediatePastFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?MOTION Motion)
       (patient ?MOTION ?OBJ)
       (destination ?MOTION ?PLACE))
    (holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?ORGANISM Organism)
       (agent ?PROCESS ?ORGANISM))
    (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living)))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?POKE Poking)
       (agent ?POKE ?AGENT)
       (patient ?POKE ?OBJ)
       (instrument ?POKE ?INST))
    (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?PUT Putting)
       (destination ?PUT ?PLACE)
       (patient ?PUT ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE)))
       (holdsDuring (ImmediateFutureFn (WhenFn ?PUT)) (located ?OBJ ?PLACE))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?REL SpatialRelation)
       (holds ?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?REMOVE Removing)
       (origin ?REMOVE ?PLACE)
       (patient ?REMOVE ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE))
       (holdsDuring (ImmediateFutureFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE)))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?TOUCH Touching)
       (agent ?TOUCH ?AGENT)
       (patient ?TOUCH ?OBJ))
    (holdsDuring (WhenFn ?TOUCH) (connected ?AGENT ?OBJ)))
2001-11-30 13:35:35.0
has axiom 
(=>
    (and
       (instance ?WET Wetting)
       (patient ?WET ?OBJ))
    (holdsDuring (ImmediateFutureFn (WhenFn ?WET))
       (or
          (attribute ?OBJ Wet)
          (attribute ?OBJ Damp))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (instance ?PROC DirectionChange)
    (exists (?ATTR)
       (and
          (instance ?ATTR DirectionAttribute)
          (or
             (and
                (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR))
                (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))
             (and
                (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR))
                (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (origin ?PROCESS ?OBJ)
    (located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (parent ?PARENT ?CHILD)
    (before (BeginFn (WhenFn ?PARENT)) (BeginFn (WhenFn ?CHILD))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (result ?PROC ?OBJ)
    (forall (?TIME)
       (=>
          (before ?TIME (BeginFn (WhenFn ?PROC)))
          (not
             (existant ?OBJ ?TIME)))))
2001-11-30 13:35:35.0
has axiom 
(=>
    (subProcess ?SUBPROC ?PROC)
       (or
          (equal (WhenFn ?SUBPROC) (WhenFn ?PROC))
          (during (WhenFn ?SUBPROC) (WhenFn ?PROC))))
2001-11-30 13:35:35.0
has axiom 
(before (BeginFn (WhenFn ?THING)) (EndFn (WhenFn ?THING)))
2001-11-30 13:35:35.0
has axiom 
(finishes (ImmediatePastFn (WhenFn ?THING)) (PastFn (WhenFn ?THING)))
2001-11-30 13:35:35.0
has axiom 
(meetsTemporally (PastFn (WhenFn ?THING)) (WhenFn ?THING))
2001-11-30 13:35:35.0
has axiom 
(meetsTemporally (WhenFn ?THING) (FutureFn (WhenFn ?THING)))
2001-11-30 13:35:35.0
has axiom 
(starts (ImmediateFutureFn (WhenFn ?THING)) (FutureFn (WhenFn ?THING)))
2001-11-30 13:35:35.0
has domain1 Physical2001-11-30 13:35:35.0
has range TimeInterval2001-11-30 13:35:35.0
is an instance of TemporalRelation2001-11-30 13:35:35.0
is an instance of UnaryFunction2001-11-30 13:35:35.0
Relationis first domain of domain2001-11-30 13:35:10.0
is first domain of domainSubclass2001-11-30 13:35:10.0
is first domain of holds2001-11-30 13:35:10.0
is first domain of subrelation2001-11-30 13:35:10.0
is first domain of valence2001-11-30 13:35:10.0
is second domain of subrelation2001-11-30 13:35:10.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Functionis first domain of AssignmentFn2001-11-30 13:34:18.0
is first domain of closedOn2001-11-30 13:34:18.0
is first domain of range2001-11-30 13:34:18.0
is first domain of rangeSubclass2001-11-30 13:34:18.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next TemporalRelation: YearFn    Up: TemporalRelation, UnaryFunction    Previous TemporalRelation: time