| 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 5216-5217 | |
| (documentation SquareRootFn JapaneseLanguage "(SquareRootFn ?NUMBER) は、?NUMBERの主な平方 根である。") | japanese_format.kif 941-942 | |
| (domain SquareRootFn 1 RealNumber) | Merge.kif 5213-5213 | The number 1 argument of square root is an instance of real number |
| (instance SquareRootFn UnaryFunction) | Merge.kif 5212-5212 | Square root is an instance of unary function |
| (range SquareRootFn RealNumber) | Merge.kif 5214-5214 | 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 54921-54921 | |
| (termFormat ChineseLanguage SquareRootFn "平方根函数") | chinese_format.kif 731-731 | |
| (termFormat ChineseTraditionalLanguage SquareRootFn "平方根") | domainEnglishFormat.kif 54920-54920 | |
| (termFormat EnglishLanguage SquareRootFn "square root") | domainEnglishFormat.kif 54919-54919 | |
| (termFormat de SquareRootFn "QuadratwurzelFn") | terms-de.txt 290-290 |
| antecedent |
|
|
| (=> (equal (SquareRootFn ?NUMBER1) ?NUMBER2) (equal (MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1)) |
Merge.kif 5219-5221 |
|
| consequent |
|
|
| (<=> (equal ?SD (StandardDeviationFn ?L)) (equal ?SD (SquareRootFn (VarianceFn ?L)))) |
Weather.kif 1491-1496 | 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