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

JahrFn (YearFn)

A UnaryFunction that maps a number to the corresponding calendar Year. For example, (YearFn 1912) returns the Class containing just one instance, the year of 1912. As might be expected, positive integers return years in the Common Era, while negative integers return years in B.C.E. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. MonthFn, DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals.

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
  einstellige Funktion  
is instance of

is instance of
  JahrFn  

Coordinate term(s)

AbsolutbetragFn  AbstraktionFn  ArcuskosinusFn  ArcussinusFn  ArcustangensFn  RückseiteFn  AnfangFn  BeginNullPunktFn  KardinalitätFn  ObersteGrenzeFn  ErgänzungFn  KosinusFn  SchnittMengeFn  TagFn  NennerFn  EndeFn  EndeNullPunktFn  ExtensionFn  UntersteGrenzeFn  FrontseiteFn  ZukunftFn  GeneralisierteDurchschnittFn  GeneralisierteVereinigungFn  GigaFn  StundeFn  ImaginäresTeilFn  SofortigeZukunftFn  DirektVergangenheitFn  AusgangsNullPunktFn  GanzzahlQuadratwurzelFn  KiloFn  ListeLängeFn  GrösseFn  MegaFn  MicroFn  MilliFn  MinimaleSchnittMengeFn  MinuteFn  MonatFn  NanoFn  ZählerFn  OrganisationFn  VergangenheitFn  PfadGewichtfn  PicoFn  PotenzMengeFn  VorgängerFn  HauptwirtFn  Wahrscheinlichkeit  EigentumFn  RationaleZahlFn  ReelleZahlfn  ReziprokerWert  RückläufigeZeitAbstandFn  RelativeZeitFn  RundFn  SekundFn  SignumFn  SinusFn  OberflächeFn  QuadratwurzelFn  NachfolgerFn  TangensFn  ZeitlicheAufbauFn  TeraFn  TerminalNullPunktFn  ZeitabstandFn  Füllefn  WennFn  vor  vorOderGleichzeitig  zusammenGeschiecht  früh  beendet  schliesstZeitlichAn  decktSichZeitlich  zeitlichZwischen  zeitlichZwischenOderGleichzeitig  zeit 

Type restrictions

subclass Jahr YearFn(Ganzzahl)

Axioms (1)

Jahr ist innerlich verwandt mit JahrFn .
(relatedInternalConcept Year YearFn)