Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

タ璽腹ㄧ计 (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)

贺摸
is instance of
  膥┯闽玒  
is instance of
  じㄧ计  
is instance of
  タ璽腹ㄧ计  

Coordinate term(s)

荡癸ㄧ计  磞瓃ㄧ计  ┓緇┒  ┓タ┒  ┓タち  はㄧ计  丁秨﹍ㄧ计  程竊翴ㄧ计  璸计ㄧ计  ㄧ计  が干ㄧ计  緇┒ㄧ计  ユ隔畖ㄧ计  虫ㄧ计  丁挡ㄧΑ  程竊翴ㄧ计  絛瞅ㄧ计  ㄧ计  タㄧ计  丁ゼㄓㄧΑ  阀てㄧ计  阀て羛栋ㄧ计  货璸ㄧ计  店计ㄧ计  程ゼㄓ丁ㄧ计  程筁丁ㄧ计  癬﹍竊翴ㄧ计  俱计キよㄧ计  璸ㄧ计  ㄧ计  计ㄧ计  κ窾璸ㄧ计  κ窾だぇ璸ㄧ计  だぇ璸ㄧ计  程ユ隔畖ㄧ计  ーμㄧ计  だㄧ计  舱麓ㄧ计  筁丁ㄧΑ  隔畖秖ㄧ计  だぇ璸ㄧ计  经栋ㄧ计  玡计ㄧ计  砰ㄧ计  ┪礛瞯ㄧ计  疭┦ㄧ计  Τ瞶计ㄧ计  龟计ㄧ计  计ㄧ计  俱计ㄧ计  タ┒ㄧ计  ブㄧ计  キよㄧ计  计ㄧ计  タちㄧ计  璸ㄧ计  沧竊翴ㄧ计  癩玻ㄧ计  丁ㄧ计  ㄧ计 

Type restrictions

俱计 SignumFn(龟计)

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)

If "number1 緇计 number2" 单 number, then "number2タ璽腹" 单 "numberタ璽腹". 
(=>
      (equal
            (RemainderFn ?NUMBER1 ?NUMBER2)
            ?NUMBER)
      (equal
            (SignumFn ?NUMBER2)
            (SignumFn ?NUMBER)))
If number 琌 獶璽龟计龟ㄒ, then "numberタ璽腹" 单 or "numberタ璽腹" 单 . 
(=>
      (instance ?NUMBER NonnegativeRealNumber)
      (or
            (equal
                  (SignumFn ?NUMBER)
                  1)
            (equal
                  (SignumFn ?NUMBER)
                  0)))
If number 琌 タ龟计龟ㄒ, then "numberタ璽腹" 单 . 
(=>
      (instance ?NUMBER PositiveRealNumber)
      (equal
            (SignumFn ?NUMBER)
            1))
If number 琌 璽龟计龟ㄒ, then "numberタ璽腹" 单 . 
(=>
      (instance ?NUMBER NegativeRealNumber)
      (equal
            (SignumFn ?NUMBER)
            -1))