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

before or equal (beforeOrEqual)

(beforeOrEqual point1 point2) means that point1 is identical with point2 or occurs before it on the universal timeline.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  dvi-lakshana  
is instance of
varga
is instance of
  inheritable relation  
is instance of
  saamayika sambandha  
is instance of
aanshika anukrama sambandha
is instance of
is instance of
  before or equal  

Subrelation(s)

before 

Coordinate term(s)

begin fn  day fn  end fn  future fn  hour fn  immediate future fn  immediate past fn  minute fn  month fn  past fn  recurrent time interval fn  relative time fn  second fn  temporal composition fn  time interval fn  when fn  year fn  arc weight  authors  before  causes  causes subclass  citizen  closed on  connected  contains information  cooccur  copy  date  decreases likelihood  developmental form  disjoint  distributes  documentation  duration  earlier  editor  element  employs  equal  equivalence relation on  exploits  expressed in language  faces  family relation  finishes  frequency  graph part  greater than  greater than or equal to  has purpose  has skill  holds during  holds obligation  holds right  hole  identity element  in list  in scope of interest  increases likelihood  independent probability  inhabits  inhibits  initial list  instance  inverse  irreflexive on  larger  less than  less than or equal to  located  material  measure  meets temporally  modal attribute  overlaps temporally  parent  part  partial ordering on  partly located  path length  possesses  precondition  prevents  property  publishes  range  range subclass  refers  reflexive on  related internal concept  sibling  smaller  starts  sub attribute  sub collection  sub graph  sub list  sub process  sub proposition  subclass  subrelation  subsumes content class  subsumes content instance  successor attribute  successor attribute closure  temporal part  temporally between  temporally between or equal  time  total ordering on  trichotomizing on  uses  valence  version 

Type restrictions

beforeOrEqual(samaya biMdu, samaya biMdu)

Axioms (4)

(=>
      (instance ?OBJ Object)
      (exists
            (?TIME1 ?TIME2)
            (and
                  (instance ?TIME1 TimePoint)
                  (instance ?TIME2 TimePoint)
                  (before ?TIME1 ?TIME2)
                  (forall
                        (?TIME)
                        (=>
                              (and
                                    (beforeOrEqual ?TIME1 ?TIME)
                                    (beforeOrEqual ?TIME ?TIME2))
                              (time ?OBJ ?TIME))))))
Agar point1 happen?{s} before or at point2, to point1 happen?{s} before point2 yaa point1 is equal to point2. 
(=>
      (beforeOrEqual ?POINT1 ?POINT2)
      (or
            (before ?POINT1 ?POINT2)
            (equal ?POINT1 ?POINT2)))
point2 is between or at point1 and point3 agar hai point1 happen?{s} before or at point2 aur point2 happen?{s} before or at point3. 
(<=>
      (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
      (and
            (beforeOrEqual ?POINT1 ?POINT2)
            (beforeOrEqual ?POINT2 ?POINT3)))
(=>
      (instance ?ARTIFACT StationaryArtifact)
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (and
                              (beforeOrEqual
                                    ?TIME
                                    (EndFn
                                          (WhenFn ?ARTIFACT)))
                              (beforeOrEqual
                                    (BeginFn
                                          (WhenFn ?ARTIFACT))
                                    ?TIME))
                        (equal
                              (WhereFn ?ARTIFACT ?TIME)
                              ?PLACE)))))