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

SignumFn (SignumFn)

(SignumFn number) denotes the sign of number. This is one of the following values: -1, 1, or 0.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  einstellige Funktion  
is instance of
  SignumFn  

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  VorgängerFn  HauptwirtFn  Wahrscheinlichkeit  EigentumFn  RationaleZahlFn  ReelleZahlfn  ReziprokerWert  RundFn  SinusFn  OberflächeFn  QuadratwurzelFn  NachfolgerFn  TangensFn  TeraFn  TerminalNullPunktFn  Füllefn  WennFn  JahrFn 

Type restrictions

Ganzzahl SignumFn(reelle Zahl)

Related WordNet synsets

polarity, sign
having an indicated pole (as the distinction between positive and negative electric charges); "he got the polarity of the battery reversed"; "charges of opposite sign"
polarity is kind of (all)...   polarity is kind of...   polarity is an attribute of  

Axioms (4)

Wenn "number1 betrag number2" ist gleich number , dann "das zeichen von number2" ist gleich "das zeichen von number" . 
(=>
      (equal
            (RemainderFn ?NUMBER1 ?NUMBER2)
            ?NUMBER)
      (equal
            (SignumFn ?NUMBER2)
            (SignumFn ?NUMBER)))
Wenn number ist ein fall von nichtnegative reelle Zahl , dann "das zeichen von number" ist gleich oder "das zeichen von number" ist gleich . 
(=>
      (instance ?NUMBER NonnegativeRealNumber)
      (or
            (equal
                  (SignumFn ?NUMBER)
                  1)
            (equal
                  (SignumFn ?NUMBER)
                  0)))
Wenn number ist ein fall von positive reelle Zahl , dann "das zeichen von number" ist gleich . 
(=>
      (instance ?NUMBER PositiveRealNumber)
      (equal
            (SignumFn ?NUMBER)
            1))
Wenn number ist ein fall von negative reelle Zahl , dann "das zeichen von number" ist gleich . 
(=>
      (instance ?NUMBER NegativeRealNumber)
      (equal
            (SignumFn ?NUMBER)
            -1))