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

SekundFn (SecondFn)

A BinaryFunction that assigns a PositiveRealNumber and a subclass of Minutes to the Seconds within each Minute corresponding to that PositiveRealNumber. For example, (SecondFn 4 (MinuteFn 5 Hour)) is the Class of all fourth Seconds of every fifth Minute of every hour. For another example, (SecondFn 8 Minute) would return the eighth second of every minute. For still another example, (SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912)))))) denotes 9 seconds and 15 minutes after 2 PM on 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
  SekundFn  

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  RückläufigeZeitAbstandFn  RelativeErgänzungFn  RelativeZeitFn  RestFn  ReiheBandeFn  GeschwindigkeitFn  SubtraktionFn  ZeitlicheAufbauFn  ZeitabstandFn  VereinigungFn  WennFn  WoFn  JahrFn  vor  vorOderGleichzeitig  zusammenGeschiecht  früh  beendet  schliesstZeitlichAn  decktSichZeitlich  zeitlichZwischen  zeitlichZwischenOderGleichzeitig  zeit 

Type restrictions

subclass Sekunde SecondFn(positive reelle Zahl, subclass Minute)

Axioms (3)

Wenn second ist ein fall von "die sekund number" , dann number ist kleinerAls . 
(=>
      (instance
            ?SECOND
            (SecondFn ?NUMBER ?MINUTE))
      (lessThan ?NUMBER 60))
Wenn second1 ist ein fall von "die sekund number1" und second2 ist ein fall von "die sekund number2" und "(number2-number1)" ist gleich , dann second1 schliesst second2 zeitlich an. 
(=>
      (and
            (instance
                  ?SECOND1
                  (SecondFn ?NUMBER1 ?MINUTE))
            (instance
                  ?SECOND2
                  (SecondFn ?NUMBER2 ?MINUTE))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?SECOND1 ?SECOND2))
Sekunde ist innerlich verwandt mit SekundFn . 
(relatedInternalConcept Second SecondFn)