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

multiplication fn (MultiplicationFn)

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

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  dvi-aadhaary prakaarya  
is instance of
sahachaary prakaarya
is instance of
vinimaya-sambandhI prakaarya
is instance of
varga
is instance of
  inheritable relation  
is instance of
  matraaon kaa sanbandha vistaara  
is instance of
is instance of
  multiplication fn  

Coordinate term(s)

addition fn  day fn  density fn  division fn  edition fn  exponentiation fn  graph path fn  hour fn  intersection fn  interval fn  kappa fn  list concatenate fn  list order fn  log fn  max fn  maximal weighted path fn  measure fn  mereological difference fn  mereological product fn  mereological sum fn  min fn  minimal weighted path fn  minute fn  month fn  periodical issue fn  reciprocal fn  recurrent time interval fn  relative complement fn  relative time fn  remainder fn  round fn  second fn  series volume fn  speed fn  subtraction fn  temporal composition fn  time interval fn  union fn  where fn  equal  greater than  greater than or equal to  less than  less than or equal to 

Type restrictions

parimaaNa MultiplicationFn(parimaaNa, parimaaNa)

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)

Agar number is an instance of kaalpanika anka, to yah kuch vaastavika anka real nahin, ki number is equal to "real*"the square root of "". 
(=>
      (instance ?NUMBER ImaginaryNumber)
      (exists
            (?REAL)
            (and
                  (instance ?REAL RealNumber)
                  (equal
                        ?NUMBER
                        (MultiplicationFn
                              ?REAL
                              (SquareRootFn -1))))))
Agar number is an instance of sanyukta anka, to yah kuch vaastavika anka real1,vaastavika anka real2 nahin, ki number is equal to "(real1+"real2*"the square root of "")". 
(=>
      (instance ?NUMBER ComplexNumber)
      (exists
            (?REAL1 ?REAL2)
            (and
                  (instance ?REAL1 RealNumber)
                  (instance ?REAL2 RealNumber)
                  (equal
                        ?NUMBER
                        (AdditionFn
                              ?REAL1
                              (MultiplicationFn
                                    ?REAL2
                                    (SquareRootFn -1)))))))
Agar number is an instance of parimaaNa, to is equal to "number*"the reciprocal of number"". 
(=>
      (instance ?NUMBER Quantity)
      (equal
            1
            (MultiplicationFn
                  ?NUMBER
                  (ReciprocalFn ?NUMBER))))
"number1 mod number2" is equal to number agar hai "(""the largest integer less than or equal to "number1/number2""*number2"+number)" is equal to number1. 
(<=>
      (equal
            (RemainderFn ?NUMBER1 ?NUMBER2)
            ?NUMBER)
      (equal
            (AdditionFn
                  (MultiplicationFn
                        (FloorFn
                              (DivisionFn ?NUMBER1 ?NUMBER2))
                        ?NUMBER2)
                  ?NUMBER)
            ?NUMBER1))
Agar "the square root of number1" is equal to number2, to "number2*number2" is equal to number1. 
(=>
      (equal
            (SquareRootFn ?NUMBER1)
            ?NUMBER2)
      (equal
            (MultiplicationFn ?NUMBER2 ?NUMBER2)
            ?NUMBER1))
is an identity element of multiplication fn. 
(identityElement MultiplicationFn 1)
Agar number is an instance of vaastavika anka, to "number centimeter(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Centimeter)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  Meter)))
Agar number is an instance of vaastavika anka, to "number day duration(s)" is equal to ""number*" hour duration(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER DayDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 24)
                  HourDuration)))
Agar number is an instance of vaastavika anka, to "number hour duration(s)" is equal to ""number*" minute duration(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER HourDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 60)
                  MinuteDuration)))
Agar number is an instance of vaastavika anka, to "number minute duration(s)" is equal to ""number*" second duration(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER MinuteDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 60)
                  SecondDuration)))
Agar number is an instance of vaastavika anka, to "number week duration(s)" is equal to ""number*" day duration(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER WeekDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 7)
                  DayDuration)))
Agar number is an instance of vaastavika anka, to "number year duration(s)" is equal to ""number*" day duration(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER YearDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 365)
                  DayDuration)))
Agar number is an instance of vaastavika anka, to "number amu(s)" is equal to ""number**" gram(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Amu)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.6605402 E-24)
                  Gram)))
Agar number is an instance of vaastavika anka, to "number electron volt(s)" is equal to ""number**" joule(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER ElectronVolt)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.60217733 E-19)
                  Joule)))
Agar number is an instance of vaastavika anka, to "number angstrom(s)" is equal to ""number**" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Angstrom)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.0 E-10)
                  Meter)))
Agar number is an instance of vaastavika anka, to "number foot(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Foot)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.3048)
                  Meter)))
Agar number is an instance of vaastavika anka, to "number inch(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Inch)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.0254)
                  Meter)))
Agar number is an instance of vaastavika anka, to "number mile(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Mile)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1609.344)
                  Meter)))
Agar number is an instance of vaastavika anka, to "number united states gallon(s)" is equal to ""number*" liter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedStatesGallon)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 3.785411784)
                  Liter)))
Agar number is an instance of vaastavika anka, to "number united kingdom gallon(s)" is equal to ""number*" liter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedKingdomGallon)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.54609)
                  Liter)))
Agar number is an instance of vaastavika anka, to "number pound mass(s)" is equal to ""number*" gram(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundMass)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 453.59237)
                  Gram)))
Agar number is an instance of vaastavika anka, to "number slug(s)" is equal to ""number*" gram(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Slug)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 14593.90)
                  Gram)))
Agar number is an instance of vaastavika anka, to "number rankine degree(s)" is equal to ""number*" kelvin degree(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER RankineDegree)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.8)
                  KelvinDegree)))
Agar number is an instance of vaastavika anka, to "number pound force(s)" is equal to ""number*" newton(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundForce)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.448222)
                  Newton)))
Agar number is an instance of vaastavika anka, to "number calorie(s)" is equal to ""number*" joule(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Calorie)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.1868)
                  Joule)))
Agar number is an instance of vaastavika anka, to "number british thermal unit(s)" is equal to ""number*" joule(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER BritishThermalUnit)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1055.05585262)
                  Joule)))
Agar number is an instance of vaastavika anka, to "number angular degree(s)" is equal to ""number*"paaii/"" radian(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER AngularDegree)
            (MeasureFn
                  (MultiplicationFn
                        ?NUMBER
                        (DivisionFn Pi 180))
                  Radian)))
Agar number is an instance of vaastavika anka, to "number united states cent(s)" is equal to ""number*" united states dollar(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedStatesCent)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  UnitedStatesDollar)))
Agar number is an instance of vaastavika anka, to "number euro cent(s)" is equal to ""number*" euro dollar(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER EuroCent)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  EuroDollar)))
Agar number is an instance of vaastavika anka, to "number byte(s)" is equal to ""number*" bit(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Byte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 8)
                  Bit)))
Agar number is an instance of vaastavika anka, to "number kilo byte(s)" is equal to ""number*" byte(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER KiloByte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1024)
                  Byte)))
Agar number is an instance of vaastavika anka, to "number mega byte(s)" is equal to ""number*" kilo byte(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER MegaByte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1024)
                  KiloByte)))