immediate past fn (ImmediatePastFn)
A UnaryFunction that maps a
TimePosition to a short, indeterminate TimeInterval that
immediately precedes the TimePosition.
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
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
when fn
year fn
before
before or equal
cooccur
earlier
finishes
meets temporally
overlaps temporally
temporally between
temporally between or equal
time
Type restrictions
samaya aMtaraala ImmediatePastFn(samaya sthiti)
Related WordNet synsets
- recency, recentness
- a time immediately before the present
- now
- in the immediate past; "told me just now"
See more related synsets on a separate page.
Axioms (27)
Agar thing is an instance of bhOtika vaswu, to "immediately before "the time of existence of thing"" finishes "before "the time of existence of thing"".
(=>
(instance ?THING Physical)
(finishes
(ImmediatePastFn
(WhenFn ?THING))
(PastFn
(WhenFn ?THING))))
Agar obj is a resource for proc aur the measure of obj is quant1 immediately before "the time of existence of proc" aur the measure of obj is quant2 immediately after "the time of existence of proc", to quant1 is greater than quant2.
(=>
(and
(resource ?PROC ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT2)))
(greaterThan ?QUANT1 ?QUANT2))
Agar increase is an instance of badhottarii aur obj is a patient of increase, to yah kuch unit,quant1,quant2 nahin, ki "obj unit(s)" is equal to quant1 immediately before "the time of existence of increase" aur "obj unit(s)" is equal to quant2 immediately after "the time of existence of increase" aur quant2 is greater than quant1.
(=>
(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))))
Agar heat is an instance of taapana aur obj is a patient of heat, to yah kuch taapa maapa unit,quant1,quant2 nahin, ki "obj unit(s)" is equal to quant1 immediately before "the time of existence of heat" aur "obj unit(s)" is equal to quant2 immediately after "the time of existence of heat" aur quant2 is greater than quant1.
(=>
(and
(instance ?HEAT Heating)
(patient ?HEAT ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(ImmediatePastFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(greaterThan ?QUANT2 ?QUANT1))))
Agar decrease is an instance of hraasa aur obj is a patient of decrease, to yah kuch unit,quant1,quant2 nahin, ki "obj unit(s)" is equal to quant1 immediately before "the time of existence of decrease" aur "obj unit(s)" is equal to quant2 immediately after "the time of existence of decrease" aur quant2 is less than quant1.
(=>
(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))))
Agar cool is an instance of shiitalataa aur obj is a patient of cool, to yah kuch taapa maapa unit,quant1,quant2 nahin, ki "obj unit(s)" is equal to quant1 immediately before "the time of existence of cool" aur "obj unit(s)" is equal to quant2 immediately after "the time of existence of cool" aur quant2 is less than quant1.
(=>
(and
(instance ?COOL Cooling)
(patient ?COOL ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COOL))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COOL))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(lessThan ?QUANT2 ?QUANT1))))
Agar motion is an instance of gati aur obj is a patient of motion aur motion origins at place, to obj is located at place immediately before "the time of existence of motion".
(=>
(and
(instance ?MOTION Motion)
(patient ?MOTION ?OBJ)
(origin ?MOTION ?PLACE))
(holdsDuring
(ImmediatePastFn
(WhenFn ?MOTION))
(located ?OBJ ?PLACE)))
Agar proc is an instance of dishaa parivartana, to yah kuch dishaatmaka visheshataa attr nahin, ki - proc is performed in the manner attr immediately before "the time of existence of proc" aur proc is performed in the manner attr immediately after "the time of existence of proc"
yaa - proc is performed in the manner attr immediately after "the time of existence of proc" aur proc is performed in the manner attr immediately before "the time of existence of proc"
.
(=>
(instance ?PROC DirectionChange)
(exists
(?ATTR)
(and
(instance ?ATTR DirectionalAttribute)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))
(and
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))))))
Agar remove is an instance of nikaalanaa aur remove origins at place aur obj is a patient of remove, to obj is located at place immediately before "the time of existence of remove" aur obj is not located at place immediately after "the time of existence of remove".
(=>
(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)))))
Agar put is an instance of aur put ends at place aur obj is a patient of put, to obj is not located at place immediately before "the time of existence of put" aur obj is located at place immediately after "the time of existence of put".
(=>
(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))))
Agar change is an instance of adhikaara parivartana aur obj is a patient of change aur agent1 posesses obj immediately before "the time of existence of change" aur agent2 posesses obj immediately after "the time of existence of change", to agent1 is not equal to agent2.
(=>
(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)))
Agar change is an instance of adhikaara parivartana aur change origins at agent1 aur change ends at agent2 aur agent2 is an instance of kartaa aur obj is a patient of change, to agent1 posesses obj immediately before "the time of existence of change" aur agent2 posesses obj immediately after "the time of existence of change".
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(origin ?CHANGE ?AGENT1)
(destination ?CHANGE ?AGENT2)
(instance ?AGENT2 Agent)
(patient ?CHANGE ?OBJ))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(possesses ?AGENT1 ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(possesses ?AGENT2 ?OBJ))))
process is an instance of vinaasha agar hai yah kuch patient nahin, ki patient is a patient of process aur patient exists during "immediately before "the time of existence of process"" aur patient doesn't exist during "immediately after "the time of existence of process"".
(<=>
(instance ?PROCESS Destruction)
(exists
(?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(time
?PATIENT
(ImmediatePastFn
(WhenFn ?PROCESS)))
(not
(time
?PATIENT
(ImmediateFutureFn
(WhenFn ?PROCESS)))))))
Agar kill is an instance of hatyaa aur patient is a patient of kill, to living is an attribute of patient immediately before "the time of existence of kill" aur dead is an attribute of patient after "the time of existence of kill".
(=>
(and
(instance ?KILL Killing)
(patient ?KILL ?PATIENT))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?KILL))
(attribute ?PATIENT Living))
(holdsDuring
(FutureFn
(WhenFn ?KILL))
(attribute ?PATIENT Dead))))
Agar attach is an instance of sanlagnana aur obj1 is a patient of attach aur obj2 is a patient of attach, to obj1 is not connected to obj2 immediately before "the time of existence of attach" aur obj1 is connected to obj2 immediately after "the time of existence of attach".
(=>
(and
(instance ?ATTACH Attaching)
(patient ?ATTACH ?OBJ1)
(patient ?ATTACH ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?ATTACH))
(not
(connected ?OBJ1 ?OBJ2)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ATTACH))
(connected ?OBJ1 ?OBJ2))))
Agar detach is an instance of vilagana aur obj1 is a patient of detach aur obj2 is a patient of detach, to obj1 is connected to obj2 immediately before "the time of existence of detach" aur obj1 is not connected to obj2 immediately after "the time of existence of detach".
(=>
(and
(instance ?DETACH Detaching)
(patient ?DETACH ?OBJ1)
(patient ?DETACH ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?DETACH))
(connected ?OBJ1 ?OBJ2))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DETACH))
(not
(connected ?OBJ1 ?OBJ2)))))
combine is an instance of sanyojana aur obj1 is a resource for combine aur obj2 is a result of combine agar hai obj1 is not a part of obj2 immediately before "the time of existence of combine" aur obj1 is a part of obj2 immediately after "the time of existence of combine".
(<=>
(and
(instance ?COMBINE Combining)
(resource ?COMBINE ?OBJ1)
(result ?COMBINE ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?COMBINE))
(not
(part ?OBJ1 ?OBJ2)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COMBINE))
(part ?OBJ1 ?OBJ2))))
Agar change is an instance of aantarika parivartana aur obj is a patient of change, to yah kuch property nahin, ki
(=>
(and
(instance ?CHANGE InternalChange)
(patient ?CHANGE ?OBJ))
(exists
(?PROPERTY)
(or
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))))))
Agar alt is an instance of sataha parivartana aur obj is a patient of alt, to yah kuch part,property nahin, ki part is a superficial part of obj aur property is an attribute of part immediately before "the time of existence of alt" aur property is not an attribute of part immediately after "the time of existence of alt".
(=>
(and
(instance ?ALT SurfaceChange)
(patient ?ALT ?OBJ))
(exists
(?PART ?PROPERTY)
(and
(superficialPart ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?ALT))
(attribute ?PART ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?ALT))
(not
(attribute ?PART ?PROPERTY))))))
Agar alt is an instance of aakaara parivartana aur obj is a patient of alt, to yah kuch aakaara visheshataa property nahin, ki
(=>
(and
(instance ?ALT ShapeChange)
(patient ?ALT ?OBJ))
(exists
(?PROPERTY)
(and
(instance ?PROPERTY ShapeAttribute)
(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)))))))
Agar coloring is an instance of ranjana aur obj is a patient of coloring, to yah kuch varNa visheshataa property nahin, ki property is an attribute of obj immediately before "the time of existence of coloring" aur property is not an attribute of obj immediately after "the time of existence of coloring".
(=>
(and
(instance ?COLORING Coloring)
(patient ?COLORING ?OBJ))
(exists
(?PROPERTY)
(and
(instance ?PROPERTY ColorAttribute)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COLORING))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COLORING))
(not
(attribute ?OBJ ?PROPERTY))))))
process is an instance of srijana agar hai yah kuch patient nahin, ki patient is a patient of process aur patient exists during "immediately after "the time of existence of process"" aur patient doesn't exist during "immediately before "the time of existence of process"".
(<=>
(instance ?PROCESS Creation)
(exists
(?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(time
?PATIENT
(ImmediateFutureFn
(WhenFn ?PROCESS)))
(not
(time
?PATIENT
(ImmediatePastFn
(WhenFn ?PROCESS)))))))
Agar process is an instance of avastaa parivartana aur obj is a patient of process, to yah kuch part,bhOtika avasthaa state1,bhOtika avasthaa state2 nahin, ki part is a part of obj aur state1 is not equal to state2 aur state1 is an attribute of part immediately before "the time of existence of process" aur state2 is an attribute of part immediately after "the time of existence of freeze".
(=>
(and
(instance ?PROCESS StateChange)
(patient ?PROCESS ?OBJ))
(exists
(?PART ?STATE1 ?STATE2)
(and
(part ?PART ?OBJ)
(instance ?STATE1 PhysicalState)
(instance ?STATE2 PhysicalState)
(not
(equal ?STATE1 ?STATE2))
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROCESS))
(attribute ?PART ?STATE1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FREEZE))
(attribute ?PART ?STATE2)))))
Agar melt is an instance of pighalana aur obj is a patient of melt, to yah kuch part nahin, ki part is a part of obj aur solid is an attribute of part immediately before "the time of existence of melt" aur liquid is an attribute of part immediately after "the time of existence of melt".
(=>
(and
(instance ?MELT Melting)
(patient ?MELT ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?MELT))
(attribute ?PART Solid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MELT))
(attribute ?PART Liquid)))))
Agar boil is an instance of ubalana aur obj is a patient of boil, to yah kuch part nahin, ki part is a part of obj aur liquid is an attribute of part immediately before "the time of existence of boil" aur gas is an attribute of part immediately after "the time of existence of boil".
(=>
(and
(instance ?BOIL Boiling)
(patient ?BOIL ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?BOIL))
(attribute ?PART Liquid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?BOIL))
(attribute ?PART Gas)))))
Agar cond is an instance of sanghanana aur obj is a patient of cond, to yah kuch part nahin, ki part is a part of obj aur gas is an attribute of part immediately before "the time of existence of cond" aur liquid is an attribute of part immediately after "the time of existence of cond".
(=>
(and
(instance ?COND Condensing)
(patient ?COND ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COND))
(attribute ?PART Gas))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COND))
(attribute ?PART Liquid)))))
Agar freeze is an instance of himiikarana aur obj is a patient of freeze, to yah kuch part nahin, ki part is a part of obj aur liquid is an attribute of part immediately before "the time of existence of freeze" aur solid is an attribute of part immediately after "the time of existence of freeze".
(=>
(and
(instance ?FREEZE Freezing)
(patient ?FREEZE ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?FREEZE))
(attribute ?PART Liquid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FREEZE))
(attribute ?PART Solid)))))
