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
IntegerSquareRootFn
Sigma KEE - IntegerSquareRootFn
IntegerSquareRootFn
appearance as argument number 1
(
documentation
IntegerSquareRootFn
ChineseLanguage
"(
IntegerSquareRootFn
?NUMBER) 得出 ?NUMBER 平方根的整数。 ")
chinese_format.kif 2243-2244
(
documentation
IntegerSquareRootFn
EnglishLanguage
"(
IntegerSquareRootFn
?NUMBER) returns the integer square root of ?NUMBER.")
Merge.kif 4927-4928
(
documentation
IntegerSquareRootFn
JapaneseLanguage
"(
IntegerSquareRootFn
?NUMBER) は、 ?NUMBER の整数平方根を返す。")
japanese_format.kif 907-908
(
domain
IntegerSquareRootFn
1
RealNumber
)
Merge.kif 4924-4924
域
整數平方根
, 1 and
RealNumber
(
instance
IntegerSquareRootFn
PartialValuedRelation
)
Merge.kif 4923-4923
例
整數平方根
and
PartialValuedRelation
(
instance
IntegerSquareRootFn
UnaryFunction
)
Merge.kif 4922-4922
例
整數平方根
and
UnaryFunction
(
range
IntegerSquareRootFn
NonnegativeInteger
)
Merge.kif 4925-4925
範圍
整數平方根
and
NonnegativeInteger
appearance as argument number 2
(
format
ChineseLanguage
IntegerSquareRootFn
"%1 的整数平方根")
chinese_format.kif 704-704
(
format
EnglishLanguage
IntegerSquareRootFn
"the integer square root of %1")
english_format.kif 706-706
(
format
FrenchLanguage
IntegerSquareRootFn
"le racine carr� du nombre entier %1")
french_format.kif 425-425
(
format
ItalianLanguage
IntegerSquareRootFn
"la radice quadrata intera di %1")
relations-it.txt 151-151
(
format
JapaneseLanguage
IntegerSquareRootFn
"%1 の integer 平方根")
japanese_format.kif 2142-2142
(
format
PortugueseLanguage
IntegerSquareRootFn
"a raiz quadrada do numero inteiro %1")
portuguese_format.kif 377-377
(
format
de
IntegerSquareRootFn
"die ganzzahl quadratwurzel von %1")
relations-de.txt 917-917
(
format
hi
IntegerSquareRootFn
"%1 kaa puurNaaka-vargamuula")
relations-hindi.txt 190-190
(
format
ro
IntegerSquareRootFn
"rãdãcina pãtratã integer%t{întreagã} a lui %1")
relations-ro.kif 447-447
(
format
sv
IntegerSquareRootFn
"heltalskvadratroten av %1")
relations-sv.txt 476-476
(
termFormat
ChineseLanguage
IntegerSquareRootFn
"整数平方根")
domainEnglishFormat.kif 30349-30349
(
termFormat
ChineseLanguage
IntegerSquareRootFn
"整数平方根函数")
chinese_format.kif 705-705
(
termFormat
ChineseTraditionalLanguage
IntegerSquareRootFn
"整數平方根")
domainEnglishFormat.kif 30348-30348
(
termFormat
EnglishLanguage
IntegerSquareRootFn
"integer square root")
domainEnglishFormat.kif 30347-30347
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