RealNumber
(real number)
(
range
PPSFn
RealNumber
)
UXExperimentalTerms.kif 3049-3049
The
range
of
qualifying purchases per user
is an instance of
real number
(
range
PathWeightFn
RealNumber
)
Merge.kif 5973-5973
The
range
of
path weight
is an instance of
real number
(
range
PopulationGrowthFn
RealNumber
)
People.kif 38-38
The
range
of
population growth
is an instance of
real number
(
range
ProbabilityFn
RealNumber
)
Merge.kif 2574-2574
The
range
of
probability
is an instance of
real number
(
range
RealNumberFn
RealNumber
)
Merge.kif 5062-5062
The
range
of
real number
is an instance of
real number
(
range
ReciprocalFn
RealNumber
)
Merge.kif 5071-5071
The
range
of
互相
is an instance of
real number
(
range
RoundFn
RealNumber
)
Merge.kif 5171-5171
The
range
of
round
is an instance of
real number
(
range
SRPEngagementFn
RealNumber
)
UXExperimentalTerms.kif 3713-3713
The
range
of
SRP Engagement
is an instance of
real number
(
range
SineFn
RealNumber
)
Merge.kif 5212-5212
The
range
of
sine
is an instance of
real number
(
range
SquareRootFn
RealNumber
)
Merge.kif 5220-5220
The
range
of
square root
is an instance of
real number
(
range
SubtractionFn
RealNumber
)
Merge.kif 4728-4728
The
range
of
subtraction
is an instance of
real number
(
range
TangentFn
RealNumber
)
Merge.kif 5232-5232
The
range
of
tangent
is an instance of
real number
(
subclass
BinaryNumber
RealNumber
)
Merge.kif 2003-2003
Binary number
is a
subclass
of
real number
(
subclass
IrrationalNumber
RealNumber
)
Merge.kif 1916-1916
Irrational number
is a
subclass
of
real number
(
subclass
NegativeRealNumber
RealNumber
)
Merge.kif 1943-1943
Negative real number
is a
subclass
of
real number
(
subclass
NonnegativeRealNumber
RealNumber
)
Merge.kif 1921-1921
Nonnegative real number
is a
subclass
of
real number
(
subclass
RationalNumber
RealNumber
)
Merge.kif 1911-1911
Rational number
is a
subclass
of
real number
(
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