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

# 實數 (RealNumber)

Any Number that can be expressed as a (possibly infinite) decimal, i.e. any Number that has a position on the number line.

## Ontology

SUMO / BASE-ONTOLOGY

 實體

抽象的

數量

實數

## Related WordNet synsets

real number, real
any rational or irrational number

See more related synsets on a separate page.

## Axioms (49)

`(partition Number RealNumber ImaginaryNumber ComplexNumber)`

`(trichotomizingOn lessThan RealNumber)`

`(trichotomizingOn greaterThan RealNumber)`

`(trichotomizingOn lessThanOrEqualTo RealNumber)`

`(trichotomizingOn greaterThanOrEqualTo RealNumber)`

`(partition RealNumber NegativeRealNumber NonnegativeRealNumber)`

`(partition RealNumber RationalNumber IrrationalNumber)`

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))))))```

number非負實數實例 if and only if number 大於或等於 and number實數實例.
```(<=>
(instance ?NUMBER NonnegativeRealNumber)
(and
(greaterThanOrEqualTo ?NUMBER 0)
(instance ?NUMBER RealNumber)))```

number正實數實例 if and only if number (不) 大於 and number實數實例.
```(<=>
(instance ?NUMBER PositiveRealNumber)
(and
(greaterThan ?NUMBER 0)
(instance ?NUMBER RealNumber)))```

number負實數實例 if and only if number 小於 and number實數實例.
```(<=>
(instance ?NUMBER NegativeRealNumber)
(and
(lessThan ?NUMBER 0)
(instance ?NUMBER RealNumber)))```

`(disjoint ComplexNumber RealNumber)`

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
?REAL1
(MultiplicationFn
?REAL2
(SquareRootFn -1)))))))```

"number1絕對 " 等於 number2 and number1實數實例 and number2實數實例 if and only if
```(<=>
(and
(equal
(AbsoluteValueFn ?NUMBER1)
?NUMBER2)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber))
(or
(and
(instance ?NUMBER1 NonnegativeRealNumber)
(equal ?NUMBER1 ?NUMBER2))
(and
(instance ?NUMBER1 NegativeRealNumber)
(equal
?NUMBER2
(SubtractionFn 0 ?NUMBER1)))))```

```(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL TernaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2 ?VALUE))
(forall
(?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds
?REL
(MeasureFn ?NUMBER1 ?UNIT)
(MeasureFn ?NUMBER2 ?UNIT)
(MeasureFn ?VALUE ?UNIT)))))```

```(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall
(?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds
?REL
(MeasureFn ?NUMBER1 ?UNIT)
(MeasureFn ?NUMBER2 ?UNIT)))))```

If number實數實例 and unit量度單位實例, then "1 的 級數" 等於 number.
```(=>
(and
(instance ?NUMBER RealNumber)
(instance ?UNIT UnitOfMeasure))
(equal
(MagnitudeFn
(MeasureFn ?NUMBER ?UNIT))
?NUMBER))```

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 CelsiusDegree)
(MeasureFn
(SubtractionFn ?NUMBER 273.15)
KelvinDegree)))```

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 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 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 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))

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)))```