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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 5222-5223
(documentation SquareRootFn JapaneseLanguage "(SquareRootFn ?NUMBER) は、?NUMBERの主な平方 根である。") japanese_format.kif 941-942
(domain SquareRootFn 1 RealNumber) Merge.kif 5219-5219 SquareRootFn の数値 1 引数は 実数instance では %n
(instance SquareRootFn UnaryFunction) Merge.kif 5218-5218 SquareRootFn1変数関数instance では %n
(range SquareRootFn RealNumber) Merge.kif 5220-5220 SquareRootFnrange実数 のインスタンス では %n

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 54888-54888
(termFormat ChineseLanguage SquareRootFn "平方根函数") chinese_format.kif 731-731
(termFormat ChineseTraditionalLanguage SquareRootFn "平方根") domainEnglishFormat.kif 54887-54887
(termFormat EnglishLanguage SquareRootFn "square root") domainEnglishFormat.kif 54886-54886

antecedent
-------------------------


(=>
    (equal
        (SquareRootFn ?NUMBER1) ?NUMBER2)
    (equal
        (MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5225-5227

consequent
-------------------------


(<=>
    (equal ?SD
        (StandardDeviationFn ?L))
    (equal ?SD
        (SquareRootFn
            (VarianceFn ?L))))
Weather.kif 1508-1513 実数StandardDeviationFn リストequal では %n 実数VarianceFn リストsquareRootequal では %n


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