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 5122-5123
(domain SquareRootFn 1 RealNumber) Merge.kif 5119-5119
(instance SquareRootFn UnaryFunction) Merge.kif 5118-5118
(range SquareRootFn RealNumber) Merge.kif 5120-5120

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

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


(=>
    (equal
        (SquareRootFn ?NUMBER1) ?NUMBER2)
    (equal
        (MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5125-5127

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


(<=>
    (equal ?SD
        (StandardDeviationFn ?L))
    (equal ?SD
        (SquareRootFn
            (VarianceFn ?L))))
Weather.kif 1507-1512


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