RealNumber
(
range
PPSFn
RealNumber
)
UXExperimentalTerms.kif 3049-3049
範圍
PPSFn
and
RealNumber
(
range
PathWeightFn
RealNumber
)
Merge.kif 5973-5973
範圍
路徑重量
and
RealNumber
(
range
PopulationGrowthFn
RealNumber
)
People.kif 38-38
範圍
人口增長
and
RealNumber
(
range
ProbabilityFn
RealNumber
)
Merge.kif 2574-2574
範圍
可能性
and
RealNumber
(
range
RealNumberFn
RealNumber
)
Merge.kif 5062-5062
範圍
實數
and
RealNumber
(
range
ReciprocalFn
RealNumber
)
Merge.kif 5071-5071
範圍
互相
and
RealNumber
(
range
RoundFn
RealNumber
)
Merge.kif 5171-5171
範圍
回合
and
RealNumber
(
range
SRPEngagementFn
RealNumber
)
UXExperimentalTerms.kif 3713-3713
範圍
SRPEngagementFn
and
RealNumber
(
range
SineFn
RealNumber
)
Merge.kif 5212-5212
範圍
正弦
and
RealNumber
(
range
SquareRootFn
RealNumber
)
Merge.kif 5220-5220
範圍
平方根
and
RealNumber
(
range
SubtractionFn
RealNumber
)
Merge.kif 4728-4728
範圍
減法
and
RealNumber
(
range
TangentFn
RealNumber
)
Merge.kif 5232-5232
範圍
切線
and
RealNumber
(
subclass
BinaryNumber
RealNumber
)
Merge.kif 2003-2003
子類
BinaryNumber
and
RealNumber
(
subclass
IrrationalNumber
RealNumber
)
Merge.kif 1916-1916
子類
IrrationalNumber
and
RealNumber
(
subclass
NegativeRealNumber
RealNumber
)
Merge.kif 1943-1943
子類
NegativeRealNumber
and
RealNumber
(
subclass
NonnegativeRealNumber
RealNumber
)
Merge.kif 1921-1921
子類
NonnegativeRealNumber
and
RealNumber
(
subclass
RationalNumber
RealNumber
)
Merge.kif 1911-1911
子類
RationalNumber
and
RealNumber
(
termFormat
ChineseLanguage
RealNumber
"实数")
chinese_format.kif 859-859
(
termFormat
EnglishLanguage
RealNumber
"real number")
english_format.kif 920-920
(
termFormat
FrenchLanguage
RealNumber
"nombre r�el")
french_format.kif 535-535
(
termFormat
Hindi
RealNumber
"vaastavika anka")
terms-hindi.txt 65-65
(
termFormat
ItalianLanguage
RealNumber
"NumeroReale")
terms-it.txt 68-68
(
termFormat
JapaneseLanguage
RealNumber
"実数")
japanese_format.kif 2220-2220
(
termFormat
PortugueseLanguage
RealNumber
"Numero Real")
portuguese_format.kif 487-487
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners