Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
RationalNumberFn
Sigma KEE - RationalNumberFn
RationalNumberFn
appearance as argument number 1
(
documentation
RationalNumberFn
ChineseLanguage
"(
RationalNumberFn
?NUMBER)得出 ?NUMBER 的比值。")
chinese_format.kif 2259-2260
(
documentation
RationalNumberFn
EnglishLanguage
"(
RationalNumberFn
?NUMBER) returns the rational representation of ?NUMBER.")
Merge.kif 5058-5059
(
documentation
RationalNumberFn
JapaneseLanguage
"(
RationalNumberFn
?NUMBER) は、?NUMBER の合理的な表現を返す。")
japanese_format.kif 923-924
(
domain
RationalNumberFn
1
Number
)
Merge.kif 5055-5055
Le nombre 1 argument de
RationalNumberFn
est une
instance
de
nombre
(
instance
RationalNumberFn
UnaryFunction
)
Merge.kif 5054-5054
RationalNumberFn
est une
instance
de
function unaire
(
range
RationalNumberFn
RationalNumber
)
Merge.kif 5056-5056
Le
domaine
de
RationalNumberFn
est une instance de
nombre rationnel
appearance as argument number 2
(
format
ChineseLanguage
RationalNumberFn
"%1 的有理数")
chinese_format.kif 716-716
(
format
EnglishLanguage
RationalNumberFn
"the rationalRepresentation of %1")
english_format.kif 718-718
(
format
FrenchLanguage
RationalNumberFn
"la repr�sentation rationelle de %1")
french_format.kif 431-431
(
format
ItalianLanguage
RationalNumberFn
"la rappresentazione razionale di %1")
relations-it.txt 241-241
(
format
JapaneseLanguage
RationalNumberFn
"%1の rationalRepresentation")
japanese_format.kif 2148-2148
(
format
PortugueseLanguage
RationalNumberFn
"a forma racional de %1")
portuguese_format.kif 383-383
(
format
de
RationalNumberFn
"die rationale Darstellung von %1")
relations-de.txt 929-929
(
format
hi
RationalNumberFn
"%1 kaa parimeya niruupaNa")
relations-hindi.txt 279-279
(
format
ro
RationalNumberFn
"reprezentarea rational%t{raþionalã} a lui %1")
relations-ro.kif 453-453
(
format
sv
RationalNumberFn
"den rationella representationen av %1")
relations-sv.txt 488-488
(
termFormat
ChineseLanguage
RationalNumberFn
"有理数")
domainEnglishFormat.kif 48802-48802
(
termFormat
ChineseLanguage
RationalNumberFn
"有理数函数")
chinese_format.kif 717-717
(
termFormat
ChineseTraditionalLanguage
RationalNumberFn
"有理數")
domainEnglishFormat.kif 48801-48801
(
termFormat
EnglishLanguage
RationalNumberFn
"rational number")
domainEnglishFormat.kif 48800-48800
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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