Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# begin fn (BeginFn)

A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins.

## Ontology

SUMO / TEMPORAL-CONCEPTS

## Class(es)

 varga

inheritable relation

saamayika sambandha
 varga

inheritable relation

begin fn

## Coordinate term(s)

absolute value fn  abstraction fn  arc cosine fn  arc sine fn  arc tangent fn  back 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  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 biMdu BeginFn(samaya aMtaraala)

## Related WordNet synsets

beginning
the event consisting of the start of something: "the beginning of the war"

birth
the time when something begins (especially life); "they divorced after the birth of the child" or "his election signaled the birth of a new age"

terminus a quo, starting point
earliest limiting point

See more related synsets on a separate page.

## Axioms (16)

• agar "the beginning of interval" is equal to point,
• to sab-kuch otherpoint ke lie hai, ki: agar otherpoint is a part of interval aur otherpoint is not equal to point, to point happen?{s} before otherpoint
• .
```(=>
(equal
(BeginFn ?INTERVAL)
?POINT)
(forall
(?OTHERPOINT)
(=>
(and
(temporalPart ?OTHERPOINT ?INTERVAL)
(not
(equal ?OTHERPOINT ?POINT)))
(before ?POINT ?OTHERPOINT))))```

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)))))```

interval1 starts interval2 agar hai "the beginning of interval1" is equal to "the beginning of interval2" aur "the end of interval1" happen?{s} before "the end of interval2".
```(<=>
(starts ?INTERVAL1 ?INTERVAL2)
(and
(equal
(BeginFn ?INTERVAL1)
(BeginFn ?INTERVAL2))
(before
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2))))```

interval1 finishes interval2 agar hai "the beginning of interval2" happen?{s} before "the beginning of interval1" aur "the end of interval2" is equal to "the end of interval1".
```(<=>
(finishes ?INTERVAL1 ?INTERVAL2)
(and
(before
(BeginFn ?INTERVAL2)
(BeginFn ?INTERVAL1))
(equal
(EndFn ?INTERVAL2)
(EndFn ?INTERVAL1))))```

• 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 interval1 takes place during interval2, to "the end of interval1" happen?{s} before "the end of interval2" aur "the beginning of interval2" happen?{s} before "the beginning of interval1".
```(=>
(during ?INTERVAL1 ?INTERVAL2)
(and
(before
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2))
(before
(BeginFn ?INTERVAL2)
(BeginFn ?INTERVAL1))))```

interval1 meets interval2 agar hai "the end of interval1" is equal to "the beginning of interval2".
```(<=>
(meetsTemporally ?INTERVAL1 ?INTERVAL2)
(equal
(EndFn ?INTERVAL1)
(BeginFn ?INTERVAL2)))```

Agar "the beginning of interval1" is equal to "the beginning of interval2" aur "the end of interval1" is equal to "the end of interval2", to interval1 is equal to interval2.
```(=>
(and
(equal
(BeginFn ?INTERVAL1)
(BeginFn ?INTERVAL2))
(equal
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2)))
(equal ?INTERVAL1 ?INTERVAL2))```

interval1 happens earlier than interval2 agar hai "the end of interval1" happen?{s} before "the beginning of interval2".
```(<=>
(earlier ?INTERVAL1 ?INTERVAL2)
(before
(EndFn ?INTERVAL1)
(BeginFn ?INTERVAL2)))```

Agar "interval between point1 and point2" is equal to interval, to "the beginning of interval" is equal to point1 aur "the end of interval" is equal to point2.
```(=>
(equal
(TimeIntervalFn ?POINT1 ?POINT2)
?INTERVAL)
(and
(equal
(BeginFn ?INTERVAL)
?POINT1)
(equal
(EndFn ?INTERVAL)
?POINT2)))```

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 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 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 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)))))```