| 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 | The number 1 argument of square root is an instance of real number |
| (instance SquareRootFn UnaryFunction) | Merge.kif 5219-5219 | Square root is an instance of unary function |
| (range SquareRootFn RealNumber) | Merge.kif 5221-5221 | The range of square root is an instance of real number |
| 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 |
|
| consequent |
|
|
| (<=> (equal ?SD (StandardDeviationFn ?L)) (equal ?SD (SquareRootFn (VarianceFn ?L)))) |
Weather.kif 1492-1497 | A real number is equal to The StandardDeviationFn of a list if and only if the real number is equal to the squareRoot of The VarianceFn the list |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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