|
Select language: english | |
| |
| | Home |
when fn (WhenFn)
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), (time thing time) does not hold.
Ontology
SUMO / TEMPORAL-CONCEPTSClass(es)
Coordinate term(s)
absolute value fn
abstraction fn
arc cosine fn
arc sine fn
arc tangent fn
back fn
begin fn
begin node fn
cardinality fn
ceiling fn
complement fn
cosine fn
cut set fn
day fn
denominator fn
end fn
end node fn
extension fn
floor fn
front fn
future fn
generalized intersection fn
generalized union fn
giga fn
hour fn
imaginary part fn
immediate future fn
immediate past fn
initial node fn
integer square root fn
kilo fn
list length fn
magnitude fn
mega fn
micro fn
milli fn
minimal cut set fn
minute fn
month fn
nano fn
numerator fn
organization fn
past fn
path weight fn
pico fn
power set fn
predecessor fn
principal host fn
probability fn
property fn
rational number fn
real number fn
reciprocal fn
recurrent time interval fn
relative time fn
round fn
second fn
signum fn
sine fn
skin fn
square root fn
successor fn
tangent fn
temporal composition fn
tera fn
terminal node fn
time interval fn
wealth fn
year fn
before
before or equal
cooccur
earlier
finishes
meets temporally
overlaps temporally
temporally between
temporally between or equal
time
Type restrictions
time interval WhenFn(physical)
Related WordNet synsets
See more related synsets on a separate page.
Axioms (69)
where fn is internally related to when fn.
(related internal concept where fn when fn)
is a part of "the time of existence of " if and only if exists during .
(<=>
(temporal part
(when fn ))
(time ))
If origins at , then "the place where was at "the beginning of "the time of existence of """ is located at "the place where was at "the beginning of "the time of existence of """.
(=>
(origin )
(located
(where fn
(begin fn
(when fn )))
(where fn
(begin fn
(when fn )))))
(=>
(result )
(forall
()
(=>
(before
(begin fn
(when fn )))
(not
(time )))))
exists during and is an instance of time point if and only if is between or at "the beginning of "the time of existence of "" and "the end of "the time of existence of "".
(<=>
(and
(time )
(instance time point))
(temporally between or equal
(begin fn
(when fn ))
(end fn
(when fn ))))
If is an instance of spatial relation and (,) holds, then "the time of existence of " overlaps "the time of existence of ".
(=>
(and
(instance spatial relation)
(holds ))
(overlaps temporally
(when fn )
(when fn )))
occurs at the same time as if and only if "the time of existence of " is equal to "the time of existence of ".
(<=>
(cooccur )
(equal
(when fn )
(when fn )))
If is an instance of physical, then "the beginning of "the time of existence of "" happen?{s} before "the end of "the time of existence of "".
(=>
(instance physical)
(before
(begin fn
(when fn ))
(end fn
(when fn ))))
If is an instance of physical, then "before "the time of existence of "" meets "the time of existence of ".
(=>
(instance physical)
(meets temporally
(past fn
(when fn ))
(when fn )))
If is an instance of physical, then "before "the time of existence of "" is equal to "interval between negative infinity and "the beginning of "the time of existence of """.
(=>
(instance physical)
(equal
(past fn
(when fn ))
(time interval fn
negative infinity
(begin fn
(when fn )))))
If is an instance of physical, then "immediately before "the time of existence of "" finishes "before "the time of existence of "".
(=>
(instance physical)
(finishes
(immediate past fn
(when fn ))
(past fn
(when fn ))))
If is a resource for and the measure of is immediately before "the time of existence of " and the measure of is immediately after "the time of existence of ", then is greater than .
(=>
(and
(resource )
(holds during
(immediate past fn
(when fn ))
(measure ))
(holds during
(immediate future fn
(when fn ))
(measure )))
(greater than ))
If is an instance of physical, then "the time of existence of " meets "after "the time of existence of "".
(=>
(instance physical)
(meets temporally
(when fn )
(future fn
(when fn ))))
If is an instance of physical, then "after "the time of existence of "" is equal to "interval between "the end of "the time of existence of "" and positive infinity".
(=>
(instance physical)
(equal
(future fn
(when fn ))
(time interval fn
(end fn
(when fn ))
positive infinity)))
If is an instance of physical, then "immediately after "the time of existence of "" starts "after "the time of existence of "".
(=>
(instance physical)
(starts
(immediate future fn
(when fn ))
(future fn
(when fn ))))
If is a subprocess of , then "the time of existence of " is equal to "the time of existence of " or "the time of existence of " takes place during "the time of existence of ".
(=>
(sub process )
(or
(equal
(when fn )
(when fn ))
(during
(when fn )
(when fn ))))
If is an instance of death and experiences , then dead is an attribute of after "the time of existence of ".
(=>
(and
(instance death)
(experiencer ))
(holds during
(future fn
(when fn ))
(attribute dead)))
If is an instance of death and is an instance of birth and experiences and experiences , then there exists so that "the time of existence of " meets and meets "the time of existence of " and living is an attribute of during .
(=>
(and
(instance death)
(instance birth)
(experiencer )
(experiencer ))
(exists
()
(and
(meets temporally
(when fn )
)
(meets temporally
(when fn ))
(holds during
(attribute living)))))
If is an instance of digesting and is an agent of , then there exists ingesting so that is an agent of and "the time of existence of " overlaps "the time of existence of ".
(=>
(and
(instance digesting)
(agent ))
(exists
()
(and
(instance ingesting)
(agent )
(overlaps temporally
(when fn )
(when fn )))))
If is an instance of joining an organization and is an instance of organization and is an agent of and is a patient of , then is a member of immediately after "the time of existence of ".
(=>
(and
(instance joining an organization)
(instance organization)
(agent )
(patient ))
(holds during
(immediate future fn
(when fn ))
(member )))
If is an instance of leaving an organization and is an instance of organization and is an agent of and is a patient of , then is not a member of immediately after "the time of existence of ".
(=>
(and
(instance leaving an organization)
(instance organization)
(agent )
(patient ))
(holds during
(immediate future fn
(when fn ))
(not
(member ))))
If is an instance of hiring and is an instance of organization and is an agent of and is a patient of , then employs immediately after "the time of existence of ".
(=>
(and
(instance hiring)
(instance organization)
(agent )
(patient ))
(holds during
(immediate future fn
(when fn ))
(employs )))
If is an instance of terminating employment and is an instance of organization and is an agent of and is a patient of , then doesn't employ immediately after "the time of existence of ".
(=>
(and
(instance terminating employment)
(instance organization)
(agent )
(patient ))
(holds during
(immediate future fn
(when fn ))
(not
(employs ))))
If is an instance of increasing and is a patient of , then there exist ,, so that " (s)" is equal to immediately before "the time of existence of " and " (s)" is equal to immediately after "the time of existence of " and is greater than .
(=>
(and
(instance increasing)
(patient ))
(exists
( )
(and
(holds during
(immediate past fn
(when fn ))
(equal
(measure fn )
))
(holds during
(immediate future fn
(when fn ))
(equal
(measure fn )
))
(greater than ))))
If is an instance of heating and is a patient of , then there exist temperature measure ,, so that " (s)" is equal to immediately before "the time of existence of " and " (s)" is equal to immediately after "the time of existence of " and is greater than .
(=>
(and
(instance heating)
(patient ))
(exists
( )
(and
(instance temperature measure)
(holds during
(immediate past fn
(when fn ))
(equal
(measure fn )
))
(holds during
(immediate future fn
(when fn ))
(equal
(measure fn )
))
(greater than ))))
If is an instance of decreasing and is a patient of , then there exist ,, so that " (s)" is equal to immediately before "the time of existence of " and " (s)" is equal to immediately after "the time of existence of " and is less than .
(=>
(and
(instance decreasing)
(patient ))
(exists
( )
(and
(holds during
(immediate past fn
(when fn ))
(equal
(measure fn )
))
(holds during
(immediate future fn
(when fn ))
(equal
(measure fn )
))
(less than ))))
If is an instance of cooling and is a patient of , then there exist temperature measure ,, so that " (s)" is equal to immediately before "the time of existence of " and " (s)" is equal to immediately after "the time of existence of " and is less than .
(=>
(and
(instance cooling)
(patient ))
(exists
( )
(and
(instance temperature measure)
(holds during
(immediate past fn
(when fn ))
(equal
(measure fn )
))
(holds during
(immediate future fn
(when fn ))
(equal
(measure fn )
))
(less than ))))
If is an instance of motion and is a patient of and origins at , then is located at immediately before "the time of existence of ".
(=>
(and
(instance motion)
(patient )
(origin ))
(holds during
(immediate past fn
(when fn ))
(located )))
If is an instance of motion and is a patient of and ends at , then is located at immediately after "the time of existence of ".
(=>
(and
(instance motion)
(patient )
(destination ))
(holds during
(immediate future fn
(when fn ))
(located )))
If is an instance of direction change, then there exists directional attribute so that - is performed in the manner immediately before "the time of existence of " and is performed in the manner immediately after "the time of existence of "
or - is performed in the manner immediately after "the time of existence of " and is performed in the manner immediately before "the time of existence of "
.
(=>
(instance direction change)
(exists
()
(and
(instance directional attribute)
(or
(and
(holds during
(immediate past fn
(when fn ))
(manner ))
(holds during
(immediate future fn
(when fn ))
(not
(manner ))))
(and
(holds during
(immediate future fn
(when fn ))
(manner ))
(holds during
(immediate past fn
(when fn ))
(not
(manner ))))))))
If is an instance of removing and origins at and is a patient of , then is located at immediately before "the time of existence of " and is not located at immediately after "the time of existence of ".
(=>
(and
(instance removing)
(origin )
(patient ))
(and
(holds during
(immediate past fn
(when fn ))
(located ))
(holds during
(immediate future fn
(when fn ))
(not
(located )))))
If is an instance of putting and ends at and is a patient of , then is not located at immediately before "the time of existence of " and is located at immediately after "the time of existence of ".
(=>
(and
(instance putting)
(destination )
(patient ))
(and
(holds during
(immediate past fn
(when fn ))
(not
(located )))
(holds during
(immediate future fn
(when fn ))
(located ))))
If is an instance of touching and is an agent of and is a patient of , then is connected to immediately after "the time of existence of ".
(=>
(and
(instance touching)
(agent )
(patient ))
(holds during
(immediate future fn
(when fn ))
(connected )))
If is an instance of impacting and is a patient of , then there exists impelling so that is a patient of and "the time of existence of " happens earlier than "the time of existence of ".
(=>
(and
(instance impacting)
(patient ))
(exists
()
(and
(instance impelling)
(patient )
(earlier
(when fn )
(when fn )))))
If is an instance of change of possession and is a patient of and posesses immediately before "the time of existence of " and posesses immediately after "the time of existence of ", then is not equal to .
(=>
(and
(instance change of possession)
(patient )
(holds during
(immediate past fn
(when fn ))
(possesses ))
(holds during
(immediate future fn
(when fn ))
(possesses )))
(not
(equal )))
If is an instance of change of possession and origins at and ends at and is an instance of agent and is a patient of , then posesses immediately before "the time of existence of " and posesses immediately after "the time of existence of ".
(=>
(and
(instance change of possession)
(origin )
(destination )
(instance agent)
(patient ))
(and
(holds during
(immediate past fn
(when fn ))
(possesses ))
(holds during
(immediate future fn
(when fn ))
(possesses ))))
If is an instance of measuring and is an agent of and is a patient of , then there exist , so that knows "the measure of is " (s)"" immediately after "the time of existence of ".
(=>
(and
(instance measuring)
(agent )
(patient ))
(exists
( )
(holds during
(immediate future fn
(when fn ))
(knows
(measure
(measure fn ))))))
If is an instance of predicting and is a patient of , then there exists so that holds during and happen?{s} before "the time of existence of " or happens earlier than "the time of existence of ".
(=>
(and
(instance predicting)
(patient ))
(exists
()
(and
(holds during )
(or
(before
(when fn ))
(earlier
(when fn ))))))
If is an instance of remembering and is a patient of , then there exists so that holds during and happen?{s} before "the time of existence of " or happens earlier than "the time of existence of ".
(=>
(and
(instance remembering)
(patient ))
(exists
()
(and
(holds during )
(or
(before
(when fn ))
(earlier
(when fn ))))))
If is an instance of keeping and is an agent of and is a patient of , then there exists putting so that is an agent of and is a patient of and "the time of existence of " happens earlier than "the time of existence of ".
(=>
(and
(instance keeping)
(agent )
(patient ))
(exists
()
(and
(instance putting)
(agent )
(patient )
(earlier
(when fn )
(when fn )))))
(=>
(and
(instance keeping)
(patient ))
(exists
()
(forall
()
(=>
(temporal part
(when fn ))
(holds during
(located ))))))
If is an instance of repairing and is a patient of , then there exists damaging so that is a patient of and "the time of existence of " happens earlier than "the time of existence of ".
(=>
(and
(instance repairing)
(patient ))
(exists
()
(and
(instance damaging)
(patient )
(earlier
(when fn )
(when fn )))))
is an instance of destruction if and only if there exists so that is a patient of and exists during "immediately before "the time of existence of "" and doesn't exist during "immediately after "the time of existence of "".
(<=>
(instance destruction)
(exists
()
(and
(patient )
(time
(immediate past fn
(when fn )))
(not
(time
(immediate future fn
(when fn )))))))
If is an instance of killing and is a patient of , then living is an attribute of immediately before "the time of existence of " and dead is an attribute of after "the time of existence of ".
(=>
(and
(instance killing)
(patient ))
(and
(holds during
(immediate past fn
(when fn ))
(attribute living))
(holds during
(future fn
(when fn ))
(attribute dead))))
If is an instance of poking and is an agent of and is a patient of and is an instrument for , then connects and the time of existence of .
(=>
(and
(instance poking)
(agent )
(patient )
(instrument ))
(holds during
(when fn )
(connects )))
If is an instance of attaching and is a patient of and is a patient of , then is not connected to immediately before "the time of existence of " and is connected to immediately after "the time of existence of ".
(=>
(and
(instance attaching)
(patient )
(patient ))
(and
(holds during
(immediate past fn
(when fn ))
(not
(connected )))
(holds during
(immediate future fn
(when fn ))
(connected ))))
If is an instance of detaching and is a patient of and is a patient of , then is connected to immediately before "the time of existence of " and is not connected to immediately after "the time of existence of ".
(=>
(and
(instance detaching)
(patient )
(patient ))
(and
(holds during
(immediate past fn
(when fn ))
(connected ))
(holds during
(immediate future fn
(when fn ))
(not
(connected )))))
is an instance of combining and is a resource for and is a result of if and only if is not a part of immediately before "the time of existence of " and is a part of immediately after "the time of existence of ".
(<=>
(and
(instance combining)
(resource )
(result ))
(and
(holds during
(immediate past fn
(when fn ))
(not
(part )))
(holds during
(immediate future fn
(when fn ))
(part ))))
If is an instance of internal change and is a patient of , then there exists so that
(=>
(and
(instance internal change)
(patient ))
(exists
()
(or
(and
(holds during
(immediate past fn
(when fn ))
(attribute ))
(holds during
(immediate future fn
(when fn ))
(not
(attribute ))))
(and
(holds during
(immediate past fn
(when fn ))
(not
(attribute )))
(holds during
(immediate future fn
(when fn ))
(attribute ))))))
If is an instance of surface change and is a patient of , then there exist , so that is a superficial part of and is an attribute of immediately before "the time of existence of " and is not an attribute of immediately after "the time of existence of ".
(=>
(and
(instance surface change)
(patient ))
(exists
( )
(and
(superficial part )
(holds during
(immediate past fn
(when fn ))
(attribute ))
(holds during
(immediate future fn
(when fn ))
(not
(attribute ))))))
If is an instance of shape change and is a patient of , then there exists shape attribute so that
(=>
(and
(instance shape change)
(patient ))
(exists
()
(and
(instance shape attribute)
(or
(and
(holds during
(immediate past fn
(when fn ))
(attribute ))
(holds during
(immediate future fn
(when fn ))
(not
(attribute ))))
(and
(holds during
(immediate past fn
(when fn ))
(not
(attribute )))
(holds during
(immediate future fn
(when fn ))
(attribute )))))))
If is an instance of coloring and is a patient of , then there exists color attribute so that is an attribute of immediately before "the time of existence of " and is not an attribute of immediately after "the time of existence of ".
(=>
(and
(instance coloring)
(patient ))
(exists
()
(and
(instance color attribute)
(holds during
(immediate past fn
(when fn ))
(attribute ))
(holds during
(immediate future fn
(when fn ))
(not
(attribute ))))))
If is an instance of decoding and is a patient of , then there exist ,, so that contains information and contains information and is a part of "before "the time of existence of "" and is an instance of encoding and is a patient of during .
(=>
(and
(instance decoding)
(patient ))
(exists
( )
(and
(contains information )
(contains information )
(temporal part
(past fn
(when fn )))
(holds during
(and
(instance encoding)
(patient ))))))
If is an instance of wetting and is a patient of , then wet is an attribute of or damp is an attribute of immediately after "the time of existence of ".
(=>
(and
(instance wetting)
(patient ))
(holds during
(immediate future fn
(when fn ))
(or
(attribute wet)
(attribute damp))))
If is an instance of drying and is a patient of , then dry is an attribute of immediately after "the time of existence of ".
(=>
(and
(instance drying)
(patient ))
(holds during
(immediate future fn
(when fn ))
(attribute dry)))
is an instance of creation if and only if there exists so that is a patient of and exists during "immediately after "the time of existence of "" and doesn't exist during "immediately before "the time of existence of "".
(<=>
(instance creation)
(exists
()
(and
(patient )
(time
(immediate future fn
(when fn )))
(not
(time
(immediate past fn
(when fn )))))))
If is an instance of investigating and is an agent of and is a patient of , then doesn't know the time of existence of .
(=>
(and
(instance investigating)
(agent )
(patient ))
(holds during
(when fn )
(not
(knows ))))
If is an instance of stating and is an agent of and is a patient of and is an instance of formula, then believes the time of existence of .
(=>
(and
(instance stating)
(agent )
(patient )
(instance formula))
(holds during
(when fn )
(believes )))
If is an instance of questioning and is an agent of and is a patient of and is an instance of formula, then doesn't know the time of existence of .
(=>
(and
(instance questioning)
(agent )
(patient )
(instance formula))
(holds during
(when fn )
(not
(knows ))))
If is an instance of meeting and is an agent of and is an agent of , then is near to the time of existence of .
(=>
(and
(instance meeting)
(agent )
(agent ))
(holds during
(when fn )
(orientation near)))
If is an instance of state change and is a patient of , then there exist ,physical state ,physical state so that is a part of and is not equal to and is an attribute of immediately before "the time of existence of " and is an attribute of immediately after "the time of existence of ".
(=>
(and
(instance state change)
(patient ))
(exists
( )
(and
(part )
(instance physical state)
(instance physical state)
(not
(equal ))
(holds during
(immediate past fn
(when fn ))
(attribute ))
(holds during
(immediate future fn
(when fn ))
(attribute )))))
If is an instance of melting and is a patient of , then there exists so that is a part of and solid is an attribute of immediately before "the time of existence of " and liquid is an attribute of immediately after "the time of existence of ".
(=>
(and
(instance melting)
(patient ))
(exists
()
(and
(part )
(holds during
(immediate past fn
(when fn ))
(attribute solid))
(holds during
(immediate future fn
(when fn ))
(attribute liquid)))))
If is an instance of boiling and is a patient of , then there exists so that is a part of and liquid is an attribute of immediately before "the time of existence of " and gas is an attribute of immediately after "the time of existence of ".
(=>
(and
(instance boiling)
(patient ))
(exists
()
(and
(part )
(holds during
(immediate past fn
(when fn ))
(attribute liquid))
(holds during
(immediate future fn
(when fn ))
(attribute gas)))))
If is an instance of condensing and is a patient of , then there exists so that is a part of and gas is an attribute of immediately before "the time of existence of " and liquid is an attribute of immediately after "the time of existence of ".
(=>
(and
(instance condensing)
(patient ))
(exists
()
(and
(part )
(holds during
(immediate past fn
(when fn ))
(attribute gas))
(holds during
(immediate future fn
(when fn ))
(attribute liquid)))))
If is an instance of freezing and is a patient of , then there exists so that is a part of and liquid is an attribute of immediately before "the time of existence of " and solid is an attribute of immediately after "the time of existence of ".
(=>
(and
(instance freezing)
(patient ))
(exists
()
(and
(part )
(holds during
(immediate past fn
(when fn ))
(attribute liquid))
(holds during
(immediate future fn
(when fn ))
(attribute solid)))))
If is a parent of , then "the beginning of "the time of existence of "" happen?{s} before "the beginning of "the time of existence of "".
(=>
(parent )
(before
(begin fn
(when fn ))
(begin fn
(when fn ))))
(=>
(instance stationary artifact)
(exists
()
(forall
()
(=>
(and
(before or equal
(end fn
(when fn )))
(before or equal
(begin fn
(when fn ))
))
(equal
(where fn )
)))))
If is an instance of organism and is an agent of , then living is an attribute of the time of existence of .
(=>
(and
(instance organism)
(agent ))
(holds during
(when fn )
(attribute living)))
If fully formed is an attribute of , then there exists growth so that experiences and non fully formed is an attribute of the beginning of "the time of existence of ".
(=>
(attribute fully formed)
(exists
()
(and
(instance growth)
(experiencer )
(holds during
(begin fn
(when fn ))
(attribute non fully formed)))))
