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

TagFn (DayFn)

A BinaryFunction that assigns a PositiveRealNumber and a subclass of Months to the Days within each Month corresponding to that PositiveRealNumber. For example, (DayFn 16 August) is the Class of all sixteenth days of August. For another example, (DayFn 9 Month) would return the class of all ninth days of any month. For still another example, (DayFn 18 (MonthFn 8 (YearFn 1912))) denotes the 18th day of August 1912.

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
  TagFn  

Coordinate term(s)

AdditionFn  AnfangFn  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  RückläufigeZeitAbstandFn  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 Tag DayFn(positive reelle Zahl, subclass Monat)

Axioms (3)

Wenn day ist ein fall von "der tag number" , dann number ist kleinerAlsOderGleich . 
(=>
      (instance
            ?DAY
            (DayFn ?NUMBER ?MONTH))
      (lessThanOrEqualTo ?NUMBER 31))
Wenn day1 ist ein fall von "der tag number1" und day2 ist ein fall von "der tag number2" und "(number2-number1)" ist gleich , dann day1 schliesst day2 zeitlich an. 
(=>
      (and
            (instance
                  ?DAY1
                  (DayFn ?NUMBER1 ?MONTH))
            (instance
                  ?DAY2
                  (DayFn ?NUMBER2 ?MONTH))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?DAY1 ?DAY2))
Tag ist innerlich verwandt mit TagFn . 
(relatedInternalConcept Day DayFn)