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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4714-4716
(domain CosineFn 1 PlaneAngleMeasure) Merge.kif 4711-4711 馀弦函数 的 1 数量 是 平面角度测量instance
(instance CosineFn TotalValuedRelation) Merge.kif 4710-4710 馀弦函数总值关系instance
(instance CosineFn UnaryFunction) Merge.kif 4709-4709 馀弦函数一元函数instance
(lexicon CosineFn LexNoun "cos") engineering.kif 140-140
(lexicon CosineFn LexNoun "cosinus") engineering.kif 139-139
(range CosineFn RealNumber) Merge.kif 4712-4712 馀弦函数range实数 的实例

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

statement
-------------------------


(equal
    (ArcCosineFn
        (CosineFn ?X)) ?X)
Merge.kif 5171-5171 ArcCosineFn 实数 的馀弦 equal 那个 实数


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