Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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