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

 贺摸

膥┯闽玒

じㄧ计

タ璽腹ㄧ计

## 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"

## 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))```