chu2 fa3 han2 shu4 (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)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

er4 yuan2 han2 shu4
is instance of

guan1 lian2 han2 shu4
is instance of

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

yu3 liang4 guan1 xi4
is instance of

chu2 fa3 han2 shu4

Coordinate term(s)

jia1 fa3 han2 shu4 ri4 han2 shu4 mi4 du4 han2 shu4 wen2 ben3 ban3 ben3 han2 shu4 zhi3 shu4 han2 shu4 tu2 lu4 jing4 han2 shu4 xiao3 shi2 han2 shu4 jiao1 ji2 han2 shu4 jian1 ge2 han2 shu4 zhong3 lei4 miao2 shu4 han2 shu4 lie4 jie2 han2 shu4 lie4 xu4 han2 shu4 dui4 shu4 han2 shu4 zui4 da4 zhi2 han2 shu4 zui4 da4 liang4 lu4 jing4 han2 shu4 ce4 liang4 han2 shu4 bu4 fen5 zheng3 ti1 cha4 yi4 han2 shu4 bu4 fen5 zheng3 ti1 jiao1 ji2 han2 shu4 bu4 fen5 zheng3 ti1 jia1 zong1 han2 shu4 zui4 xiao3 zhi2 han2 shu4 zui4 xiao3 liang4 lu4 jing4 han2 shu4 fen1 zhong1 han2 shu4 yue4 fen4 han2 shu4 cheng2 fa3 han2 shu4 qi1 kan1 yi1 qi1 han2 shu4 dao3 shu4 han2 shu4 zhou1 qi1 xing4 shi2 ju4 han2 shu4 guan1 xi4 hu4 bu3 han2 shu4 xiang4 dui4 shi2 jian1 han2 shu4 yu2 shu4 han2 shu4 zheng3 shu4 han2 shu4 miao3 zhong1 han2 shu4 xi4 lie4 yi1 juan4 han2 shu4 su4 du4 han2 shu4 jian3 fa3 han2 shu4 shi2 jian1 dan1 wei4 han2 shu4 shi2 jian1 li4 cheng2 han2 shu4 lian2 ji2 han2 shu4 wei4 zhi4 han2 shu4 xiang1 deng3 da4 yu1 da4 yu1 huo4 deng3 yu1 xiao3 yu1 xiao3 yu1 huo4 deng3 yu1

Type restrictions

shu4 liang4 DivisionFn(shu4 liang4, shu4 liang4)

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 shi4 you3 li3 shu4 de5 shi2 li4, then there exist zheng3 shu4 int1,zheng3 shu4 int2 so_that_not number deng3 yu1 "int1/int2".

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

"number1 qu3 yu2 shu4 number2" deng3 yu1 number if and only if "(""zui4 da4 zheng3 shu4 xiao3 yu1 huo4 deng3 yu1 "number1/number2""*number2"+number)" deng3 yu1 number1.

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

If degree shi4 ping2 mian4 jiao3 dan1 wei4 de5 shi2 li4, then "degree de5 zheng4 qie1" deng3 yu1 ""degree de5 zheng4 xian2"/"degree de5 yu2 xian2"".

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

shi4 chu2 fa3 han2 shu4 de5 tong2 yi1 yuan2 su4.

(identityElement DivisionFn 1)

If number shi4 shi2 shu4 de5 shi2 li4, then "number she4 shi4(s)" deng3 yu1 """(number-)"/" hua2 shi4-du4(s)".

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

If number shi4 shi2 shu4 de5 shi2 li4, then "number rong2 liang4 huo4 ye4 liang4 dan1 wei4(s)" deng3 yu1 ""number/" mei3 zhi4 ye4 liang4 dan1 wei4-jia1 lun2(s)".

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

If number shi4 shi2 shu4 de5 shi2 li4, then "number pin3 tuo1(s)" deng3 yu1 ""number/" rong2 liang4 huo4 ye4 liang4 dan1 wei4(s)".

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

If number shi4 shi2 shu4 de5 shi2 li4, then "number ban4 pin3 tuo1 zhi1 liang4(s)" deng3 yu1 ""number/" pin3 tuo1(s)".

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

If number shi4 shi2 shu4 de5 shi2 li4, then "number ang4 si1(s)" deng3 yu1 ""number/" ban4 pin3 tuo1 zhi1 liang4(s)".

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

If number shi4 shi2 shu4 de5 shi2 li4, then "number jiao3 du4(s)" deng3 yu1 ""number*"yuan2 zhou1 lv4/"" hu2 du4(s)".

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