Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SquareRootFn |
| appearance as argument number 1 |
|
| (instance SquareRootFn UnaryFunction) | Merge.kif 5330-5330 | Square root is an instance of unary function |
| (domain SquareRootFn 1 RealNumber) | Merge.kif 5331-5331 | The number 1 argument of square root is an instance of real number |
| (range SquareRootFn RealNumber) | Merge.kif 5332-5332 | The range of square root is an instance of real number |
| (documentation SquareRootFn EnglishLanguage "(SquareRootFn ?NUMBER) is the principal square root of ?NUMBER.") | Merge.kif 5334-5335 | The range of square root is an instance of real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SquareRootFn "square root") | domainEnglishFormat.kif 54883-54883 | |
| (termFormat ChineseTraditionalLanguage SquareRootFn "平方根") | domainEnglishFormat.kif 54884-54884 | |
| (termFormat ChineseLanguage SquareRootFn "平方根") | domainEnglishFormat.kif 54885-54885 | |
| (format EnglishLanguage SquareRootFn "the squareRoot of %1") | english_format.kif 732-732 |
| antecedent |
|
|
| (=> (equal (SquareRootFn ?NUMBER1) ?NUMBER2) (equal (MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1)) |
Merge.kif 5337-5339 | If equal the squareRoot of X and Y, then equal Y, Y, and X |
| consequent |
|
|
| (<=> (equal ?SD (StandardDeviationFn ?L)) (equal ?SD (SquareRootFn (VarianceFn ?L)))) |
Weather.kif 2818-2823 | equal X, The StandardDeviationFn of Y if, only if equal X, and the squareRoot of The VarianceFn Y |
|