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

VorgängerFn (PredecessorFn)

A UnaryFunction that maps an Integer to its predecessor, e.g. the predecessor of 5 is 4.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  einstellige Funktion  
is instance of
  VorgängerFn  

Coordinate term(s)

AbsolutbetragFn  AbstraktionFn  ArcuskosinusFn  ArcussinusFn  ArcustangensFn  RückseiteFn  AnfangFn  BeginNullPunktFn  KardinalitätFn  ObersteGrenzeFn  ErgänzungFn  KosinusFn  SchnittMengeFn  NennerFn  EndeFn  EndeNullPunktFn  ExtensionFn  UntersteGrenzeFn  FrontseiteFn  ZukunftFn  GeneralisierteDurchschnittFn  GeneralisierteVereinigungFn  GigaFn  ImaginäresTeilFn  SofortigeZukunftFn  DirektVergangenheitFn  AusgangsNullPunktFn  GanzzahlQuadratwurzelFn  KiloFn  ListeLängeFn  GrösseFn  MegaFn  MicroFn  MilliFn  MinimaleSchnittMengeFn  NanoFn  ZählerFn  OrganisationFn  VergangenheitFn  PfadGewichtfn  PicoFn  PotenzMengeFn  HauptwirtFn  Wahrscheinlichkeit  EigentumFn  RationaleZahlFn  ReelleZahlfn  ReziprokerWert  RundFn  SignumFn  SinusFn  OberflächeFn  QuadratwurzelFn  NachfolgerFn  TangensFn  TeraFn  TerminalNullPunktFn  Füllefn  WennFn  JahrFn 

Type restrictions

Ganzzahl PredecessorFn(Ganzzahl)

Axioms (6)

"(number+2)" ist gleich "(number-)" . 
(equal
      (PredecessorFn ?NUMBER)
      (SubtractionFn ?NUMBER 1))
Wenn int ist ein fall von Ganzzahl , dann int ist gleich "("(int+2)"+1)" . 
(=>
      (instance ?INT Integer)
      (equal
            ?INT
            (SuccessorFn
                  (PredecessorFn ?INT))))
Wenn int ist ein fall von Ganzzahl , dann int ist gleich "("(int+1)"+2)" . 
(=>
      (instance ?INT Integer)
      (equal
            ?INT
            (PredecessorFn
                  (SuccessorFn ?INT))))
Wenn "(int1+2)" ist gleich "(int2+2)" , dann int1 ist gleich int2 . 
(=>
      (equal
            (PredecessorFn ?INT1)
            (PredecessorFn ?INT2))
      (equal ?INT1 ?INT2))
Wenn int ist ein fall von Ganzzahl , dann int ist grösserAls "(int+2)" . 
(=>
      (instance ?INT Integer)
      (greaterThan
            ?INT
            (PredecessorFn ?INT)))
Wenn int1 ist ein fall von Ganzzahl und int2 ist ein fall von Ganzzahl , dann int2 ist kleinerAls int1 nicht oder "(int1+2)" ist kleinerAls int2 nicht. 
(=>
      (and
            (instance ?INT1 Integer)
            (instance ?INT2 Integer))
      (not
            (and
                  (lessThan ?INT2 ?INT1)
                  (lessThan
                        (PredecessorFn ?INT1)
                        ?INT2))))