Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - RationalNumber
RationalNumber
appearance as argument number 1
(
documentation
RationalNumber
ChineseLanguage
"这是把两个
Integer
相除的商,它可以是任何一个的
RealNumber
。")
chinese_format.kif 1741-1742
(
documentation
RationalNumber
EnglishLanguage
"Any
RealNumber
that is the product of dividing two
Integer
s.")
Merge.kif 1820-1821
(
subclass
RationalNumber
RealNumber
)
Merge.kif 1818-1818
subclass
RationalNumber
and
RealNumber
appearance as argument number 2
(
partition
RealNumber
RationalNumber
IrrationalNumber
)
Merge.kif 1800-1800
partition
RealNumber
,
RationalNumber
and
IrrationalNumber
(
range
RationalNumberFn
RationalNumber
)
Merge.kif 4713-4713
range
RationalNumberFn
and
RationalNumber
(
subclass
Integer
RationalNumber
)
Merge.kif 1861-1861
subclass
Integer
and
RationalNumber
(
termFormat
ChineseLanguage
RationalNumber
"有理数")
chinese_format.kif 861-861
termFormat
ChineseLanguage
,
RationalNumber
and "有理数"
(
termFormat
EnglishLanguage
RationalNumber
"rational number")
english_format.kif 929-929
termFormat
EnglishLanguage
,
RationalNumber
and "rational number"
appearance as argument number 3
(
domain
contrastRatio
2
RationalNumber
)
ComputingBrands.kif 3705-3705
domain
contrastRatio
, 2 and
RationalNumber
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners