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
SquareRootFn
Sigma KEE - SquareRootFn
SquareRootFn
appearance as argument number 1
(
documentation
SquareRootFn
ChineseLanguage
"(SquareRootFn ?NUMBER)是 ?NUMBER的主要平方根。")
chinese_format.kif 2275-2275
(
documentation
SquareRootFn
EnglishLanguage
"(SquareRootFn ?NUMBER) is the principal square root of ?NUMBER.")
Merge.kif 5222-5223
(
documentation
SquareRootFn
JapaneseLanguage
"(SquareRootFn ?NUMBER) は、?NUMBERの主な平方 根である。")
japanese_format.kif 941-942
(
domain
SquareRootFn
1
RealNumber
)
Merge.kif 5219-5219
Le nombre 1 argument de
SquareRootFn
est une
instance
de
nombre r�el
(
instance
SquareRootFn
UnaryFunction
)
Merge.kif 5218-5218
SquareRootFn
est une
instance
de
function unaire
(
range
SquareRootFn
RealNumber
)
Merge.kif 5220-5220
Le
domaine
de
SquareRootFn
est une instance de
nombre r�el
appearance as argument number 2
(
format
ChineseLanguage
SquareRootFn
"%1 平方根")
chinese_format.kif 730-730
(
format
EnglishLanguage
SquareRootFn
"the squareRoot of %1")
english_format.kif 732-732
(
format
FrenchLanguage
SquareRootFn
"le carr� de %1")
french_format.kif 438-438
(
format
ItalianLanguage
SquareRootFn
"la radice quadrata di %1")
relations-it.txt 268-268
(
format
JapaneseLanguage
SquareRootFn
"%1 の squareRoot")
japanese_format.kif 2155-2155
(
format
PortugueseLanguage
SquareRootFn
"a raiz quadrada de %1")
portuguese_format.kif 390-390
(
format
de
SquareRootFn
"die quadratwurzel von %1")
relations-de.txt 943-943
(
format
hi
SquareRootFn
"%1 kaa vargamuula")
relations-hindi.txt 305-305
(
format
ro
SquareRootFn
"rãdãcina square%t{pãtratã} a lui %1")
relations-ro.kif 460-460
(
format
sv
SquareRootFn
"kvadratroten av %1")
relations-sv.txt 500-500
(
termFormat
ChineseLanguage
SquareRootFn
"平方根")
domainEnglishFormat.kif 54888-54888
(
termFormat
ChineseLanguage
SquareRootFn
"平方根函数")
chinese_format.kif 731-731
(
termFormat
ChineseTraditionalLanguage
SquareRootFn
"平方根")
domainEnglishFormat.kif 54887-54887
(
termFormat
EnglishLanguage
SquareRootFn
"square root")
domainEnglishFormat.kif 54886-54886
antecedent
(=>
(
equal
(
SquareRootFn
?NUMBER1) ?NUMBER2)
(
equal
(
MultiplicationFn
?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5225-5227
Le
carr
� de
nombre r�el
est
nombre r�el
nombre r�el
+
nombre r�el
est
nombre r�el
consequent
(<=>
(
equal
?SD
(
StandardDeviationFn
?L))
(
equal
?SD
(
SquareRootFn
(
VarianceFn
?L))))
Weather.kif 1508-1513
Nombre r�el
est
StandardDeviationFn
liste
nombre r�el
est
carr
� de
VarianceFn
liste
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