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

cheng2 fa3 han2 shu4 (MultiplicationFn)

If number1 and number2 are Numbers, then (MultiplicationFn number1 number2) is the arithmetical product of these numbers.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  er4 yuan2 han2 shu4  
is instance of
guan1 lian2 han2 shu4
is instance of
ke3 huan4 han2 shu4
is instance of
zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  yu3 liang4 guan1 xi4  
is instance of
is instance of
  cheng2 fa3 han2 shu4  

Coordinate term(s)

jia1 fa3 han2 shu4  ri4 han2 shu4  mi4 du4 han2 shu4  chu2 fa3 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  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 MultiplicationFn(shu4 liang4, shu4 liang4)

Related WordNet synsets

multiplication, times
an arithmetic operation that is the inverse of division; the product of two numbers is computed; "the multiplication of four by three gives twelve"; "four times three equals twelve"
multiplication is kind of (all)...   multiplication is kind of...  
See more related synsets on a separate page.

Axioms (32)

If number shi4 xu1 shu4 de5 shi2 li4, then there exists shi2 shu4 real so_that_not number deng3 yu1 "real*" de5 ping2 fang1 gen1"". 
(=>
      (instance ?NUMBER ImaginaryNumber)
      (exists
            (?REAL)
            (and
                  (instance ?REAL RealNumber)
                  (equal
                        ?NUMBER
                        (MultiplicationFn
                              ?REAL
                              (SquareRootFn -1))))))
If number shi4 fu4 shu4 de5 shi2 li4, then there exist shi2 shu4 real1,shi2 shu4 real2 so_that_not number deng3 yu1 "(real1+"real2*" de5 ping2 fang1 gen1"")". 
(=>
      (instance ?NUMBER ComplexNumber)
      (exists
            (?REAL1 ?REAL2)
            (and
                  (instance ?REAL1 RealNumber)
                  (instance ?REAL2 RealNumber)
                  (equal
                        ?NUMBER
                        (AdditionFn
                              ?REAL1
                              (MultiplicationFn
                                    ?REAL2
                                    (SquareRootFn -1)))))))
If number shi4 shu4 liang4 de5 shi2 li4, then deng3 yu1 "number*"number de5 dao3 shu4"". 
(=>
      (instance ?NUMBER Quantity)
      (equal
            1
            (MultiplicationFn
                  ?NUMBER
                  (ReciprocalFn ?NUMBER))))
"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 "number1 de5 ping2 fang1 gen1" deng3 yu1 number2, then "number2*number2" deng3 yu1 number1. 
(=>
      (equal
            (SquareRootFn ?NUMBER1)
            ?NUMBER2)
      (equal
            (MultiplicationFn ?NUMBER2 ?NUMBER2)
            ?NUMBER1))
shi4 cheng2 fa3 han2 shu4 de5 tong2 yi1 yuan2 su4. 
(identityElement MultiplicationFn 1)
If number shi4 shi2 shu4 de5 shi2 li4, then "number gong1 fen1(s)" deng3 yu1 ""number*" gong1 chi3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Centimeter)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ri4 ji4(s)" deng3 yu1 ""number*" shi2 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER DayDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 24)
                  HourDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number shi2 ji4(s)" deng3 yu1 ""number*" fen1 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER HourDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 60)
                  MinuteDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number fen1 ji4(s)" deng3 yu1 ""number*" miao3 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER MinuteDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 60)
                  SecondDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number zhou1 ji4(s)" deng3 yu1 ""number*" ri4 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER WeekDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 7)
                  DayDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number nian2 ji4(s)" deng3 yu1 ""number*" ri4 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER YearDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 365)
                  DayDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number yuan2 zi3 zhi4 liang4 dan1 wei4(s)" deng3 yu1 ""number**" ke4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Amu)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.6605402 E-24)
                  Gram)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number dian4 ya1 dan1 wei4-dian4 fu2 te4(s)" deng3 yu1 ""number**" gong1 huo4 neng2 de5 dan1 wei4-jiao1 er3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER ElectronVolt)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.60217733 E-19)
                  Joule)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number guang1 pu3 xian4 bo1 zhang3 dan1 wei4(s)" deng3 yu1 ""number**" gong1 chi3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Angstrom)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.0 E-10)
                  Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 chi3(s)" deng3 yu1 ""number*" gong1 chi3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Foot)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.3048)
                  Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 cun4(s)" deng3 yu1 ""number*" gong1 chi3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Inch)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.0254)
                  Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 li3(s)" deng3 yu1 ""number*" gong1 chi3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Mile)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1609.344)
                  Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number mei3 zhi4 ye4 liang4 dan1 wei4-jia1 lun2(s)" deng3 yu1 ""number*" gong1 sheng1(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedStatesGallon)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 3.785411784)
                  Liter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 zhi4 ye4 liang4 dan1 wei4-jia1 lun2(s)" deng3 yu1 ""number*" gong1 sheng1(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedKingdomGallon)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.54609)
                  Liter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number bang4(s)" deng3 yu1 ""number*" ke4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundMass)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 453.59237)
                  Gram)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number zhi4 liang4 dan1 wei4(s)" deng3 yu1 ""number*" ke4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Slug)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 14593.90)
                  Gram)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number mo2 ca1 jiao3 du4(s)" deng3 yu1 ""number*" jue2 dui4 wen1 biao1(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER RankineDegree)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.8)
                  KelvinDegree)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number li4 liang5 dan1 wei4(s)" deng3 yu1 ""number*" li4 de5 dan1 wei4-niu2 dun4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundForce)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.448222)
                  Newton)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number re4 liang4 de5 dan1 wei4-ka3 lu4 li3(s)" deng3 yu1 ""number*" gong1 huo4 neng2 de5 dan1 wei4-jiao1 er3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Calorie)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.1868)
                  Joule)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 guo2 re4 liang4 dan1 wei4-BTU(s)" deng3 yu1 ""number*" gong1 huo4 neng2 de5 dan1 wei4-jiao1 er3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER BritishThermalUnit)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1055.05585262)
                  Joule)))
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)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number mei3 yuan2 yi1 fen1(s)" deng3 yu1 ""number*" mei3 yuan2 yi1 yuan2(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedStatesCent)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  UnitedStatesDollar)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ou1 yuan2 yi1 fen1(s)" deng3 yu1 ""number*" ou1 yuan2 yi1 yuan2(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER EuroCent)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  EuroDollar)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number wei4 yuan2 zu3(s)" deng3 yu1 ""number*" wei4 yuan2(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Byte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 8)
                  Bit)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number qian1 wei4 yuan2 zu3(s)" deng3 yu1 ""number*" wei4 yuan2 zu3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER KiloByte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1024)
                  Byte)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number bai3 wan4 wei4 yuan2 zu3(s)" deng3 yu1 ""number*" qian1 wei4 yuan2 zu3(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER MegaByte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1024)
                  KiloByte)))