除法函數 (DivisionFn)

If number1 and number2 are Numbers, then (DivisionFn number1 number2) is the result of dividing number1 by number2. An exception occurs when number1 = 1, in which case (DivisionFn number1 number2) is the reciprocal of number2.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

種類

可繼承關係

二元函數

關連函數

種類

可繼承關係

與量關係

除法函數

Coordinate term(s)

加法函數日函數密度函數（文本）版本函數指數函數圖路徑函數小時函數交集函數間隔函數種類描述函數列結函數列序函數對數函數最大值函數最大量路徑函數測量函數部分整體差異函數部分整體交集函數部分整體加總函數最小值函數最小量路徑函數分鐘函數月份函數乘法函數期刊一期函數倒數函數週期性時距函數關係互補函數相對時間函數餘數函數整數函數秒鐘函數系列一卷函數速度函數減法函數時間單位函數時間歷程函數聯集函數位置函數相等大於大於或等於小於小於或等於

Type restrictions

數量 DivisionFn(數量, 數量)

Related WordNet synsets

division: an arithmetic operation that is the inverse of multiplication; the quotient of two numbers is computed

See more related synsets on a separate page.

Axioms (10)

If number 是有理數的實例, then there exist 整數 int1,整數 int2 so that number 等於 "int1/int2".

(=>
      (instance ?NUMBER RationalNumber)
      (exists
            (?INT1 ?INT2)
            (and
                  (instance ?INT1 Integer)
                  (instance ?INT2 Integer)
                  (equal
                        ?NUMBER
                        (DivisionFn ?INT1 ?INT2)))))

"number1 取餘數 number2" 等於 number if and only if "(""最大整數小於或等於 "number1/number2""*number2"+number)" 等於 number1.

(<=>
      (equal
            (RemainderFn ?NUMBER1 ?NUMBER2)
            ?NUMBER)
      (equal
            (AdditionFn
                  (MultiplicationFn
                        (FloorFn
                              (DivisionFn ?NUMBER1 ?NUMBER2))
                        ?NUMBER2)
                  ?NUMBER)
            ?NUMBER1))

If degree 是平面角單位的實例, then "degree 的正切" 等於 ""degree 的正弦"/"degree 的餘弦"".

(=>
      (instance ?DEGREE PlaneAngleMeasure)
      (equal
            (TangentFn ?DEGREE)
            (DivisionFn
                  (SineFn ?DEGREE)
                  (CosineFn ?DEGREE))))

是除法函數的同�@元素.

(identityElement DivisionFn 1)

If number 是實數的實例, then "number 攝氏(s)" 等於 """(number-)"/" 華氏-度(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER CelsiusDegree)
            (MeasureFn
                  (DivisionFn
                        (SubtractionFn ?NUMBER 32)
                        1.8)
                  FahrenheitDegree)))

If number 是實數的實例, then "number 容量或液量單位(s)" 等於 ""number/" 美制液量單位-加侖(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Quart)
            (MeasureFn
                  (DivisionFn ?NUMBER 4)
                  UnitedStatesGallon)))

If number 是實數的實例, then "number 品脫(s)" 等於 ""number/" 容量或液量單位(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Pint)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Quart)))

If number 是實數的實例, then "number 半品脫之量(s)" 等於 ""number/" 品脫(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Cup)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Pint)))

If number 是實數的實例, then "number 盎司(s)" 等於 ""number/" 半品脫之量(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Ounce)
            (MeasureFn
                  (DivisionFn ?NUMBER 8)
                  Cup)))

If number 是實數的實例, then "number 角度(s)" 等於 ""number*"圓周率/"" 弧度(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER AngularDegree)
            (MeasureFn
                  (MultiplicationFn
                        ?NUMBER
                        (DivisionFn Pi 180))
                  Radian)))