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 5064-5065
(
documentation
RealNumberFn
JapaneseLanguage
"(RealNumberFn ?NUMBER) は、
RealNumber
で ある?NUMBERの部分を返す。")
japanese_format.kif 925-926
(
domain
RealNumberFn
1
Number
)
Merge.kif 5061-5061
(
instance
RealNumberFn
UnaryFunction
)
Merge.kif 5060-5060
(
range
RealNumberFn
RealNumber
)
Merge.kif 5062-5062
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 48932-48932
(
termFormat
ChineseLanguage
RealNumberFn
"实数函数")
chinese_format.kif 719-719
(
termFormat
ChineseTraditionalLanguage
RealNumberFn
"實數")
domainEnglishFormat.kif 48931-48931
(
termFormat
EnglishLanguage
RealNumberFn
"real number")
domainEnglishFormat.kif 48930-48930
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