乘法函數 (MultiplicationFn)
If number1 and number2 are Numbers,
then (MultiplicationFn number1 number2) is the arithmetical product
of these numbers.
Ontology
SUMO / NUMERIC-FUNCTIONSClass(es)
Coordinate term(s)
加法函數
日函數
密度函數
除法函數
（文本）版本函數
指數函數
圖路徑函數
小時函數
交集函數
間隔函數
種類描述函數
列結函數
列序函數
對數函數
最大值函數
最大量路徑函數
測量函數
部分整體差異函數
部分整體交集函數
部分整體加總函數
最小值函數
最小量路徑函數
分鐘函數
月份函數
期刊一期函數
倒數函數
週期性時距函數
關係互補函數
相對時間函數
餘數函數
整數函數
秒鐘函數
系列一卷函數
速度函數
減法函數
時間單位函數
時間歷程函數
聯集函數
位置函數
相等
大於
大於或等於
小於
小於或等於
Type restrictions
數量 MultiplicationFn(數量, 數量)
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"
See more related synsets on a separate page.
Axioms (32)
If number 是 虛數 的 實例, then there exists 實數 real so that number 等於 "real*" 的 平方根"".
(=>
(instance ?NUMBER ImaginaryNumber)
(exists
(?REAL)
(and
(instance ?REAL RealNumber)
(equal
?NUMBER
(MultiplicationFn
?REAL
(SquareRootFn -1))))))
If number 是 複數 的 實例, then there exist 實數 real1,實數 real2 so that number 等於 "(real1+"real2*" 的 平方根"")".
(=>
(instance ?NUMBER ComplexNumber)
(exists
(?REAL1 ?REAL2)
(and
(instance ?REAL1 RealNumber)
(instance ?REAL2 RealNumber)
(equal
?NUMBER
(AdditionFn
?REAL1
(MultiplicationFn
?REAL2
(SquareRootFn -1)))))))
If number 是 數量 的 實例, then 等於 "number*"number 的 倒數"".
(=>
(instance ?NUMBER Quantity)
(equal
1
(MultiplicationFn
?NUMBER
(ReciprocalFn ?NUMBER))))
"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 "number1 的 平方根" 等於 number2, then "number2*number2" 等於 number1.
(=>
(equal
(SquareRootFn ?NUMBER1)
?NUMBER2)
(equal
(MultiplicationFn ?NUMBER2 ?NUMBER2)
?NUMBER1))
是 乘法函數 的 同�@元素.
(identityElement MultiplicationFn 1)
If number 是 實數 的 實例, then "number 公分(s)" 等於 ""number*" 公尺(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Centimeter)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
Meter)))
If number 是 實數 的 實例, then "number 日計(s)" 等於 ""number*" 時計(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER DayDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 24)
HourDuration)))
If number 是 實數 的 實例, then "number 時計(s)" 等於 ""number*" 分計(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER HourDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 60)
MinuteDuration)))
If number 是 實數 的 實例, then "number 分計(s)" 等於 ""number*" 秒計(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER MinuteDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 60)
SecondDuration)))
If number 是 實數 的 實例, then "number 周計(s)" 等於 ""number*" 日計(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER WeekDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 7)
DayDuration)))
If number 是 實數 的 實例, then "number 年計(s)" 等於 ""number*" 日計(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 365)
DayDuration)))
If number 是 實數 的 實例, then "number 原子質量單位(s)" 等於 ""number**" 克(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Amu)
(MeasureFn
(MultiplicationFn ?NUMBER 1.6605402 E-24)
Gram)))
If number 是 實數 的 實例, then "number 電壓單位-電伏特(s)" 等於 ""number**" 功或能的單位-焦爾(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER ElectronVolt)
(MeasureFn
(MultiplicationFn ?NUMBER 1.60217733 E-19)
Joule)))
If number 是 實數 的 實例, then "number 光譜線波長單位(s)" 等於 ""number**" 公尺(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Angstrom)
(MeasureFn
(MultiplicationFn ?NUMBER 1.0 E-10)
Meter)))
If number 是 實數 的 實例, then "number 英尺(s)" 等於 ""number*" 公尺(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Foot)
(MeasureFn
(MultiplicationFn ?NUMBER 0.3048)
Meter)))
If number 是 實數 的 實例, then "number 英吋(s)" 等於 ""number*" 公尺(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Inch)
(MeasureFn
(MultiplicationFn ?NUMBER 0.0254)
Meter)))
If number 是 實數 的 實例, then "number 英里(s)" 等於 ""number*" 公尺(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Mile)
(MeasureFn
(MultiplicationFn ?NUMBER 1609.344)
Meter)))
If number 是 實數 的 實例, then "number 美制液量單位-加侖(s)" 等於 ""number*" 公升(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedStatesGallon)
(MeasureFn
(MultiplicationFn ?NUMBER 3.785411784)
Liter)))
If number 是 實數 的 實例, then "number 英制液量單位-加侖(s)" 等於 ""number*" 公升(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedKingdomGallon)
(MeasureFn
(MultiplicationFn ?NUMBER 4.54609)
Liter)))
If number 是 實數 的 實例, then "number 磅(s)" 等於 ""number*" 克(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER PoundMass)
(MeasureFn
(MultiplicationFn ?NUMBER 453.59237)
Gram)))
If number 是 實數 的 實例, then "number 質量單位(s)" 等於 ""number*" 克(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Slug)
(MeasureFn
(MultiplicationFn ?NUMBER 14593.90)
Gram)))
If number 是 實數 的 實例, then "number 摩擦角度(s)" 等於 ""number*" 絕對溫標(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER RankineDegree)
(MeasureFn
(MultiplicationFn ?NUMBER 1.8)
KelvinDegree)))
If number 是 實數 的 實例, then "number 力量單位(s)" 等於 ""number*" 力的單位-牛頓(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER PoundForce)
(MeasureFn
(MultiplicationFn ?NUMBER 4.448222)
Newton)))
If number 是 實數 的 實例, then "number 熱量的單位-卡路里(s)" 等於 ""number*" 功或能的單位-焦爾(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Calorie)
(MeasureFn
(MultiplicationFn ?NUMBER 4.1868)
Joule)))
If number 是 實數 的 實例, then "number 英國熱量單位-BTU(s)" 等於 ""number*" 功或能的單位-焦爾(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER BritishThermalUnit)
(MeasureFn
(MultiplicationFn ?NUMBER 1055.05585262)
Joule)))
If number 是 實數 的 實例, then "number 角度(s)" 等於 ""number*"圓周率/"" 弧度(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER AngularDegree)
(MeasureFn
(MultiplicationFn
?NUMBER
(DivisionFn Pi 180))
Radian)))
If number 是 實數 的 實例, then "number 美元一分(s)" 等於 ""number*" 美元一元(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedStatesCent)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
UnitedStatesDollar)))
If number 是 實數 的 實例, then "number 歐元一分(s)" 等於 ""number*" 歐元一元(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER EuroCent)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
EuroDollar)))
If number 是 實數 的 實例, then "number 位元組(s)" 等於 ""number*" 位元(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Byte)
(MeasureFn
(MultiplicationFn ?NUMBER 8)
Bit)))
If number 是 實數 的 實例, then "number 千位元組(s)" 等於 ""number*" 位元組(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER KiloByte)
(MeasureFn
(MultiplicationFn ?NUMBER 1024)
Byte)))
If number 是 實數 的 實例, then "number 百萬位元組(s)" 等於 ""number*" 千位元組(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER MegaByte)
(MeasureFn
(MultiplicationFn ?NUMBER 1024)
KiloByte)))
