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
RealNumberFn
Sigma KEE - RealNumberFn
RealNumberFn
appearance as argument number 1
(
documentation
RealNumberFn
ChineseLanguage
"(RealNumberFn ?NUMBER)得出 ?NUMBER 的
RealNumber
部分。")
chinese_format.kif 2261-2262
(
documentation
RealNumberFn
EnglishLanguage
"(RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a
RealNumber
.")
Merge.kif 5065-5066
(
documentation
RealNumberFn
JapaneseLanguage
"(RealNumberFn ?NUMBER) は、
RealNumber
で ある?NUMBERの部分を返す。")
japanese_format.kif 925-926
(
domain
RealNumberFn
1
Number
)
Merge.kif 5062-5062
Il numero 1 argomenti di
RealNumberFn
è un
istanza
di
Numero
(
instance
RealNumberFn
UnaryFunction
)
Merge.kif 5061-5061
RealNumberFn
è un'
istanza
di
FunzioneUnaria
(
range
RealNumberFn
RealNumber
)
Merge.kif 5063-5063
rango
di
RealNumberFn
è un'istanza di
NumeroReale
appearance as argument number 2
(
format
ChineseLanguage
RealNumberFn
"%1 的实数")
chinese_format.kif 718-718
(
format
EnglishLanguage
RealNumberFn
"the realPart of %1")
english_format.kif 720-720
(
format
FrenchLanguage
RealNumberFn
"la partie r�elle de %1")
french_format.kif 432-432
(
format
ItalianLanguage
RealNumberFn
"la
part
e reale di %1")
relations-it.txt 243-243
(
format
JapaneseLanguage
RealNumberFn
"%1の realPart")
japanese_format.kif 2149-2149
(
format
PortugueseLanguage
RealNumberFn
"a parte real de %1")
portuguese_format.kif 384-384
(
format
de
RealNumberFn
"das reelle teil von %1")
relations-de.txt 931-931
(
format
hi
RealNumberFn
"%1 kaa vaastavika bhaaga")
relations-hindi.txt 281-281
(
format
ro
RealNumberFn
"partea real%t{realã} a lui %1")
relations-ro.kif 454-454
(
format
sv
RealNumberFn
"den reella delen av %1")
relations-sv.txt 489-489
(
termFormat
ChineseLanguage
RealNumberFn
"实数")
domainEnglishFormat.kif 48922-48922
(
termFormat
ChineseLanguage
RealNumberFn
"实数函数")
chinese_format.kif 719-719
(
termFormat
ChineseTraditionalLanguage
RealNumberFn
"實數")
domainEnglishFormat.kif 48921-48921
(
termFormat
EnglishLanguage
RealNumberFn
"real number")
domainEnglishFormat.kif 48920-48920
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