Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

RückläufigeZeitAbstandFn (RecurrentTimeIntervalFn)

A function that is useful for generating recurring time intervals. For example, (RecurrentTimeIntervalFn (HourFn 6 Day) (HourFn 12 Day)) returns the Class of TimeIntervals beginning at 6 in the morning and ending at 12 noon. For another example, (RecurrentTimeInterval Saturday Sunday) returns the Class of all weekends. For still another example, (RecurrentTimeInterval June August) returns the Class containing the academic summer period.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  zeitliche Relation  
is instance of
Kategorie
is instance of
  inheritable relation  
is instance of
  zweistellige Funktion  
is instance of
is instance of
  RückläufigeZeitAbstandFn  

Coordinate term(s)

AdditionFn  AnfangFn  TagFn  DichteFn  DivisionFn  AusgabeFn  EndeFn  ExponentiationFn  ZukunftFn  GraphPfadFn  StundeFn  SofortigeZukunftFn  DirektVergangenheitFn  DurchschnittFn  AbstandFn  KappaFn  ListeVerkettenFn  ListeOrdnungFn  LogarithmusFn  MaximumFn  MaximalerBelasteterPfadFn  MassFn  MereologischeDifferenzFn  MereologischesProduktFn  MereologischeSummeFn  MinumumFn  MinimalerBelasteterPfadFn  MinuteFn  MonatFn  MultiplikationFn  VergangenheitFn  PeriodikumAusgabeFn  RelativeErgänzungFn  RelativeZeitFn  RestFn  SekundFn  ReiheBandeFn  GeschwindigkeitFn  SubtraktionFn  ZeitlicheAufbauFn  ZeitabstandFn  VereinigungFn  WennFn  WoFn  JahrFn  vor  vorOderGleichzeitig  zusammenGeschiecht  früh  beendet  schliesstZeitlichAn  decktSichZeitlich  zeitlichZwischen  zeitlichZwischenOderGleichzeitig  zeit 

Type restrictions

subclass Zeitabstand RecurrentTimeIntervalFn(subclass Zeitabstand, subclass Zeitabstand)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

AbstandFn ist innerlich verwandt mit RückläufigeZeitAbstandFn . 
(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn)
Wenn interval ist ein fall von "der rückläufige zeitabstand von timeclass1 nach timeclass2" , dann es gibt ein timeclass1 time1,timeclass2 time2 der time1 beginnt interval und time2 beendet interval . 
(=>
      (instance
            ?INTERVAL
            (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
      (exists
            (?TIME1 ?TIME2)
            (and
                  (instance ?TIME1 ?TIMECLASS1)
                  (instance ?TIME2 ?TIMECLASS2)
                  (starts ?TIME1 ?INTERVAL)
                  (finishes ?TIME2 ?INTERVAL))))