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 5223-5224
(
documentation
SquareRootFn
JapaneseLanguage
"(SquareRootFn ?NUMBER) は、?NUMBERの主な平方 根である。")
japanese_format.kif 941-942
(
domain
SquareRootFn
1
RealNumber
)
Merge.kif 5220-5220
Il numero 1 argomenti di
SquareRootFn
è un
istanza
di
NumeroReale
(
instance
SquareRootFn
UnaryFunction
)
Merge.kif 5219-5219
SquareRootFn
è un'
istanza
di
FunzioneUnaria
(
range
SquareRootFn
RealNumber
)
Merge.kif 5221-5221
rango
di
SquareRootFn
è un'istanza di
NumeroReale
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 54890-54890
(
termFormat
ChineseLanguage
SquareRootFn
"平方根函数")
chinese_format.kif 731-731
(
termFormat
ChineseTraditionalLanguage
SquareRootFn
"平方根")
domainEnglishFormat.kif 54889-54889
(
termFormat
EnglishLanguage
SquareRootFn
"square root")
domainEnglishFormat.kif 54888-54888
antecedent
(=>
(
equal
(
SquareRootFn
?NUMBER1) ?NUMBER2)
(
equal
(
MultiplicationFn
?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5226-5228
La
radice
quadrata di
NumeroReale
is
uguale
a
NumeroReale
NumeroReale
+
NumeroReale
is
uguale
a
NumeroReale
consequent
(<=>
(
equal
?SD
(
StandardDeviationFn
?L))
(
equal
?SD
(
SquareRootFn
(
VarianceFn
?L))))
Weather.kif 1492-1497
NumeroReale
is
uguale
a
StandardDeviationFn
Lista
NumeroReale
is
uguale
a la
radice
quadrata di
VarianceFn
Lista
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