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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SineFn
SineFn

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


(documentation SineFn ChineseLanguage "(SineFn ?DEGREE)是 PlaneAngleMeasure ?DEGREE 的正弦。在一个直角三角形, ?DEGREE 的正弦是?DEGREE 对边和斜边的比率。") chinese_format.kif 2273-2274
(documentation SineFn EnglishLanguage "(SineFn ?DEGREE) is the sine of the PlaneAngleMeasure ?DEGREE. The sine of ?DEGREE is the ratio of the side opposite ?DEGREE to the hypotenuse in a right-angled triangle.") Merge.kif 4922-4924
(domain SineFn 1 PlaneAngleMeasure) Merge.kif 4919-4919 The number 1 argument of sine is an instance of plane angle measure
(instance SineFn TotalValuedRelation) Merge.kif 4918-4918 Sine is an instance of total valued relation
(instance SineFn UnaryFunction) Merge.kif 4917-4917 Sine is an instance of unary function
(lexicon SineFn LexNoun "sin") engineering.kif 137-137
(lexicon SineFn LexNoun "sinus") engineering.kif 136-136
(range SineFn RealNumber) Merge.kif 4920-4920 The range of sine is an instance of real number

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


(format ChineseLanguage SineFn "%1 的正弦") chinese_format.kif 728-728
(format EnglishLanguage SineFn "the sine of %1") english_format.kif 733-733
(termFormat ChineseLanguage SineFn "正弦") domainEnglishFormat.kif 53029-53029
(termFormat ChineseLanguage SineFn "正弦函数") chinese_format.kif 729-729
(termFormat ChineseTraditionalLanguage SineFn "正弦") domainEnglishFormat.kif 53028-53028
(termFormat EnglishLanguage SineFn "sine") domainEnglishFormat.kif 53027-53027

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


(=>
    (instance ?DEGREE PlaneAngleMeasure)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))
Merge.kif 4947-4949


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners