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
samaya aMtaraala WhenFn(bhOtika vaswu)
Related WordNet synsets
See more related synsets on a separate page.
Axioms (69)
where fn is internally related to when fn.
(relatedInternalConcept WhereFn WhenFn)
pos is a part of "the time of existence of thing" agar hai thing exists during pos.
(<=>
(temporalPart
?POS
(WhenFn ?THING))
(time ?THING ?POS))
Agar process origins at obj, to "process ki jagah "the beginning of "the time of existence of process"" tha" is located at "obj ki jagah "the beginning of "the time of existence of obj"" tha".
(=>
(origin ?PROCESS ?OBJ)
(located
(WhereFn
?PROCESS
(BeginFn
(WhenFn ?PROCESS)))
(WhereFn
?OBJ
(BeginFn
(WhenFn ?OBJ)))))
- agar obj is a result of proc,
- to sab-kuch time ke lie hai, ki: agar time happen?{s} before "the beginning of "the time of existence of proc"", to obj doesn't exist during time
.
(=>
(result ?PROC ?OBJ)
(forall
(?TIME)
(=>
(before
?TIME
(BeginFn
(WhenFn ?PROC)))
(not
(time ?OBJ ?TIME)))))
phys exists during time aur time is an instance of samaya biMdu agar hai time is between or at "the beginning of "the time of existence of phys"" and "the end of "the time of existence of phys"".
(<=>
(and
(time ?PHYS ?TIME)
(instance ?TIME TimePoint))
(temporallyBetweenOrEqual
(BeginFn
(WhenFn ?PHYS))
?TIME
(EndFn
(WhenFn ?PHYS))))
Agar rel is an instance of sthaana sambandha aur rel(obj1,obj2) holds, to "the time of existence of obj2" overlaps "the time of existence of obj1".
(=>
(and
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally
(WhenFn ?OBJ1)
(WhenFn ?OBJ2)))
phys1 occurs at the same time as phys2 agar hai "the time of existence of phys1" is equal to "the time of existence of phys2".
(<=>
(cooccur ?PHYS1 ?PHYS2)
(equal
(WhenFn ?PHYS1)
(WhenFn ?PHYS2)))
Agar thing is an instance of bhOtika vaswu, to "the beginning of "the time of existence of thing"" happen?{s} before "the end of "the time of existence of thing"".
(=>
(instance ?THING Physical)
(before
(BeginFn
(WhenFn ?THING))
(EndFn
(WhenFn ?THING))))
Agar thing is an instance of bhOtika vaswu, to "before "the time of existence of thing"" meets "the time of existence of thing".
(=>
(instance ?THING Physical)
(meetsTemporally
(PastFn
(WhenFn ?THING))
(WhenFn ?THING)))
Agar process is an instance of bhOtika vaswu, to "before "the time of existence of process"" is equal to "interval between negative infinity and "the beginning of "the time of existence of process""".
(=>
(instance ?PROCESS Physical)
(equal
(PastFn
(WhenFn ?PROCESS))
(TimeIntervalFn
NegativeInfinity
(BeginFn
(WhenFn ?PROCESS)))))
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 thing is an instance of bhOtika vaswu, to "the time of existence of thing" meets "after "the time of existence of thing"".
(=>
(instance ?THING Physical)
(meetsTemporally
(WhenFn ?THING)
(FutureFn
(WhenFn ?THING))))
Agar process is an instance of bhOtika vaswu, to "after "the time of existence of process"" is equal to "interval between "the end of "the time of existence of process"" and positive infinity".
(=>
(instance ?PROCESS Physical)
(equal
(FutureFn
(WhenFn ?PROCESS))
(TimeIntervalFn
(EndFn
(WhenFn ?PROCESS))
PositiveInfinity)))
Agar thing is an instance of bhOtika vaswu, to "immediately after "the time of existence of thing"" starts "after "the time of existence of thing"".
(=>
(instance ?THING Physical)
(starts
(ImmediateFutureFn
(WhenFn ?THING))
(FutureFn
(WhenFn ?THING))))
Agar subproc is a subprocess of proc, to "the time of existence of subproc" is equal to "the time of existence of proc" yaa "the time of existence of subproc" takes place during "the time of existence of proc".
(=>
(subProcess ?SUBPROC ?PROC)
(or
(equal
(WhenFn ?SUBPROC)
(WhenFn ?PROC))
(during
(WhenFn ?SUBPROC)
(WhenFn ?PROC))))
Agar death is an instance of mrityu aur agent experiences death, to dead is an attribute of agent after "the time of existence of death".
(=>
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?AGENT))
(holdsDuring
(FutureFn
(WhenFn ?DEATH))
(attribute ?AGENT Dead)))
Agar death is an instance of mrityu aur birth is an instance of janma aur agent experiences death aur agent experiences birth, to yah kuch time nahin, ki "the time of existence of birth" meets time aur time meets "the time of existence of death" aur living is an attribute of agent during time.
(=>
(and
(instance ?DEATH Death)
(instance ?BIRTH Birth)
(experiencer ?DEATH ?AGENT)
(experiencer ?BIRTH ?AGENT))
(exists
(?TIME)
(and
(meetsTemporally
(WhenFn ?BIRTH)
?TIME)
(meetsTemporally
?TIME
(WhenFn ?DEATH))
(holdsDuring
?TIME
(attribute ?AGENT Living)))))
Agar digest is an instance of digesting aur digest organism kaa kaaran hai, to yah kuch antargrahaNa ingest nahin, ki ingest organism kaa kaaran hai aur "the time of existence of digest" overlaps "the time of existence of ingest".
(=>
(and
(instance ?DIGEST Digesting)
(agent ?DIGEST ?ORGANISM))
(exists
(?INGEST)
(and
(instance ?INGEST Ingesting)
(agent ?INGEST ?ORGANISM)
(overlapsTemporally
(WhenFn ?INGEST)
(WhenFn ?DIGEST)))))
Agar join is an instance of sansthaa kaarya grahana aur org is an instance of sansthaa aur join org kaa kaaran hai aur person is a patient of join, to person is a member of org immediately after "the time of existence of join".
(=>
(and
(instance ?JOIN JoiningAnOrganization)
(instance ?ORG Organization)
(agent ?JOIN ?ORG)
(patient ?JOIN ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?JOIN))
(member ?PERSON ?ORG)))
Agar leave is an instance of sansthaa tyaaga aur org is an instance of sansthaa aur leave org kaa kaaran hai aur person is a patient of leave, to person is not a member of org immediately after "the time of existence of leave".
(=>
(and
(instance ?LEAVE LeavingAnOrganization)
(instance ?ORG Organization)
(agent ?LEAVE ?ORG)
(patient ?LEAVE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?LEAVE))
(not
(member ?PERSON ?ORG))))
Agar hire is an instance of niyukti aur org is an instance of sansthaa aur hire org kaa kaaran hai aur person is a patient of hire, to org employs person immediately after "the time of existence of hire".
(=>
(and
(instance ?HIRE Hiring)
(instance ?ORG Organization)
(agent ?HIRE ?ORG)
(patient ?HIRE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?HIRE))
(employs ?ORG ?PERSON)))
Agar fire is an instance of rojagaara samaapti aur org is an instance of sansthaa aur fire org kaa kaaran hai aur person is a patient of fire, to org doesn't employ person immediately after "the time of existence of fire".
(=>
(and
(instance ?FIRE TerminatingEmployment)
(instance ?ORG Organization)
(agent ?FIRE ?ORG)
(patient ?FIRE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FIRE))
(not
(employs ?ORG ?PERSON))))
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 motion is an instance of gati aur obj is a patient of motion aur motion ends at place, to obj is located at place immediately after "the time of existence of motion".
(=>
(and
(instance ?MOTION Motion)
(patient ?MOTION ?OBJ)
(destination ?MOTION ?PLACE))
(holdsDuring
(ImmediateFutureFn
(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 touch is an instance of shparshana aur touch obj1 kaa kaaran hai aur obj2 is a patient of touch, to obj1 is connected to obj2 immediately after "the time of existence of touch".
(=>
(and
(instance ?TOUCH Touching)
(agent ?TOUCH ?OBJ1)
(patient ?TOUCH ?OBJ2))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?TOUCH))
(connected ?OBJ1 ?OBJ2)))
Agar impact is an instance of takaraahata aur obj is a patient of impact, to yah kuch prerakataa impel nahin, ki obj is a patient of impel aur "the time of existence of impel" happens earlier than "the time of existence of impact".
(=>
(and
(instance ?IMPACT Impacting)
(patient ?IMPACT ?OBJ))
(exists
(?IMPEL)
(and
(instance ?IMPEL Impelling)
(patient ?IMPEL ?OBJ)
(earlier
(WhenFn ?IMPEL)
(WhenFn ?IMPACT)))))
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))))
Agar meas is an instance of maapana aur meas agent kaa kaaran hai aur obj is a patient of meas, to yah kuch quant,unit nahin, ki agent knows "the measure of obj is "quant unit(s)"" immediately after "the time of existence of meas".
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists
(?QUANT ?UNIT)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MEAS))
(knows
?AGENT
(measure
?OBJ
(MeasureFn ?QUANT ?UNIT))))))
Agar predict is an instance of purva kathana aur formula is a patient of predict, to yah kuch time nahin, ki formula holds during time aur time happen?{s} before "the time of existence of predict" yaa time happens earlier than "the time of existence of predict".
(=>
(and
(instance ?PREDICT Predicting)
(patient ?PREDICT ?FORMULA))
(exists
(?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before
?TIME
(WhenFn ?PREDICT))
(earlier
?TIME
(WhenFn ?PREDICT))))))
Agar remember is an instance of smaranana aur formula is a patient of remember, to yah kuch time nahin, ki formula holds during time aur time happen?{s} before "the time of existence of remember" yaa time happens earlier than "the time of existence of remember".
(=>
(and
(instance ?REMEMBER Remembering)
(patient ?REMEMBER ?FORMULA))
(exists
(?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before
?TIME
(WhenFn ?REMEMBER))
(earlier
?TIME
(WhenFn ?REMEMBER))))))
Agar keep is an instance of anurakshana aur keep agent kaa kaaran hai aur obj is a patient of keep, to yah kuch put nahin, ki put agent kaa kaaran hai aur obj is a patient of put aur "the time of existence of put" happens earlier than "the time of existence of keep".
(=>
(and
(instance ?KEEP Keeping)
(agent ?KEEP ?AGENT)
(patient ?KEEP ?OBJ))
(exists
(?PUT)
(and
(instance ?PUT Putting)
(agent ?PUT ?AGENT)
(patient ?PUT ?OBJ)
(earlier
(WhenFn ?PUT)
(WhenFn ?KEEP)))))
(=>
(and
(instance ?KEEP Keeping)
(patient ?KEEP ?OBJ))
(exists
(?PLACE)
(forall
(?TIME)
(=>
(temporalPart
?TIME
(WhenFn ?KEEP))
(holdsDuring
?TIME
(located ?OBJ ?PLACE))))))
Agar repair is an instance of marammata aur obj is a patient of repair, to yah kuch kshati damage nahin, ki obj is a patient of damage aur "the time of existence of damage" happens earlier than "the time of existence of repair".
(=>
(and
(instance ?REPAIR Repairing)
(patient ?REPAIR ?OBJ))
(exists
(?DAMAGE)
(and
(instance ?DAMAGE Damaging)
(patient ?DAMAGE ?OBJ)
(earlier
(WhenFn ?DAMAGE)
(WhenFn ?REPAIR)))))
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 poke is an instance of dhakkaa aur poke agent kaa kaaran hai aur obj is a patient of poke aur inst is an instrument for poke, to inst connects agent and obj the time of existence of poke.
(=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring
(WhenFn ?POKE)
(connects ?INST ?AGENT ?OBJ)))
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))))))
Agar decode is an instance of kuta vyaakhyaayana aur doc1 is a patient of decode, to yah kuch encode,doc2,time nahin, ki doc2 contains information prop aur doc1 contains information prop aur time is a part of "before "the time of existence of decode"" aur encode is an instance of kuta lekhana aur doc2 is a patient of encode during time.
(=>
(and
(instance ?DECODE Decoding)
(patient ?DECODE ?DOC1))
(exists
(?ENCODE ?DOC2 ?TIME)
(and
(containsInformation ?DOC2 ?PROP)
(containsInformation ?DOC1 ?PROP)
(temporalPart
?TIME
(PastFn
(WhenFn ?DECODE)))
(holdsDuring
?TIME
(and
(instance ?ENCODE Encoding)
(patient ?ENCODE ?DOC2))))))
Agar wet is an instance of kledana aur obj is a patient of wet, to wet is an attribute of obj yaa damp is an attribute of obj immediately after "the time of existence of wet".
(=>
(and
(instance ?WET Wetting)
(patient ?WET ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?WET))
(or
(attribute ?OBJ Wet)
(attribute ?OBJ Damp))))
Agar dry is an instance of shurkan aur obj is a patient of dry, to dry is an attribute of obj immediately after "the time of existence of dry".
(=>
(and
(instance ?DRY Drying)
(patient ?DRY ?OBJ))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DRY))
(attribute ?OBJ Dry)))
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 investigate is an instance of anveshana karma aur investigate agent kaa kaaran hai aur prop is a patient of investigate, to agent doesn't know prop the time of existence of investigate.
(=>
(and
(instance ?INVESTIGATE Investigating)
(agent ?INVESTIGATE ?AGENT)
(patient ?INVESTIGATE ?PROP))
(holdsDuring
(WhenFn ?INVESTIGATE)
(not
(knows ?AGENT ?PROP))))
Agar state is an instance of kathana aur state agent kaa kaaran hai aur formula is a patient of state aur formula is an instance of sUtra, to agent formula par vishvaas kartaa hai the time of existence of state.
(=>
(and
(instance ?STATE Stating)
(agent ?STATE ?AGENT)
(patient ?STATE ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT ?FORMULA)))
Agar question is an instance of prashna karanaa aur question agent kaa kaaran hai aur formula is a patient of question aur formula is an instance of sUtra, to agent doesn't know formula the time of existence of question.
(=>
(and
(instance ?QUESTION Questioning)
(agent ?QUESTION ?AGENT)
(patient ?QUESTION ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?QUESTION)
(not
(knows ?AGENT ?FORMULA))))
Agar meet is an instance of sangoshthii aur meet agent1 kaa kaaran hai aur meet agent2 kaa kaaran hai, to agent1 is near to agent2 the time of existence of meet.
(=>
(and
(instance ?MEET Meeting)
(agent ?MEET ?AGENT1)
(agent ?MEET ?AGENT2))
(holdsDuring
(WhenFn ?MEET)
(orientation ?AGENT1 ?AGENT2 Near)))
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)))))
Agar parent is a parent of child, to "the beginning of "the time of existence of parent"" happen?{s} before "the beginning of "the time of existence of child"".
(=>
(parent ?CHILD ?PARENT)
(before
(BeginFn
(WhenFn ?PARENT))
(BeginFn
(WhenFn ?CHILD))))
- agar artifact is an instance of lekhana saamagrI,
- to yah kuch place nahin, ki sab-kuch time ke lie hai, ki: agar time happen?{s} before or at "the end of "the time of existence of artifact"" aur "the beginning of "the time of existence of artifact"" happen?{s} before or at time, to "artifact ki jagah time tha" is equal to place
.
(=>
(instance ?ARTIFACT StationaryArtifact)
(exists
(?PLACE)
(forall
(?TIME)
(=>
(and
(beforeOrEqual
?TIME
(EndFn
(WhenFn ?ARTIFACT)))
(beforeOrEqual
(BeginFn
(WhenFn ?ARTIFACT))
?TIME))
(equal
(WhereFn ?ARTIFACT ?TIME)
?PLACE)))))
Agar organism is an instance of jIvadhaarI padaartha aur process organism kaa kaaran hai, to living is an attribute of organism the time of existence of process.
(=>
(and
(instance ?ORGANISM Organism)
(agent ?PROCESS ?ORGANISM))
(holdsDuring
(WhenFn ?PROCESS)
(attribute ?ORGANISM Living)))
Agar fully formed is an attribute of obj, to yah kuch vriddhi growth nahin, ki obj experiences growth aur non fully formed is an attribute of obj the beginning of "the time of existence of obj".
(=>
(attribute ?OBJ FullyFormed)
(exists
(?GROWTH)
(and
(instance ?GROWTH Growth)
(experiencer ?GROWTH ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?OBJ))
(attribute ?OBJ NonFullyFormed)))))
