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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CosineFn

Sigma KEE - CosineFn
CosineFn

appearance as argument number 1
-------------------------


(documentation CosineFn ChineseLanguage "(CosineFn ?DEGREE)得出 PlaneAngleMeasure ?DEGREE 的余弦。在一个直角三角形, ?DEGREE 的余弦是?DEGREE 傍边的边和斜边的比率。") chinese_format.kif 2228-2229
(documentation CosineFn EnglishLanguage "(CosineFn ?DEGREE) returns the cosine of the PlaneAngleMeasure ?DEGREE. The cosine of ?DEGREE is the ratio of the side next to ?DEGREE to the hypotenuse in a right-angled triangle.") Merge.kif 4708-4710
(domain CosineFn 1 PlaneAngleMeasure) Merge.kif 4705-4705
(instance CosineFn TotalValuedRelation) Merge.kif 4704-4704
(instance CosineFn UnaryFunction) Merge.kif 4703-4703
(lexicon CosineFn LexNoun "cos") engineering.kif 140-140
(lexicon CosineFn LexNoun "cosinus") engineering.kif 139-139
(range CosineFn RealNumber) Merge.kif 4706-4706

appearance as argument number 2
-------------------------


(format ChineseLanguage CosineFn "%1 的馀弦") chinese_format.kif 692-692
(format EnglishLanguage CosineFn "the cosine of %1") english_format.kif 694-694
(termFormat ChineseLanguage CosineFn "余弦") domainEnglishFormat.kif 17433-17433
(termFormat ChineseLanguage CosineFn "馀弦函数") chinese_format.kif 693-693
(termFormat ChineseTraditionalLanguage CosineFn "餘弦") domainEnglishFormat.kif 17432-17432
(termFormat EnglishLanguage CosineFn "cosine") domainEnglishFormat.kif 17431-17431

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


(=>
    (instance ?DEGREE RealNumber)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))
Merge.kif 5139-5145

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