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 5015-5017
(domain SineFn 1 PlaneAngleMeasure) Merge.kif 5012-5012
(instance SineFn TotalValuedRelation) Merge.kif 5011-5011
(instance SineFn UnaryFunction) Merge.kif 5010-5010
(lexicon SineFn LexNoun "sin") engineering.kif 137-137
(lexicon SineFn LexNoun "sinus") engineering.kif 136-136
(range SineFn RealNumber) Merge.kif 5013-5013

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


(format ChineseLanguage SineFn "%1 的正弦") chinese_format.kif 728-728
(format EnglishLanguage SineFn "the sine of %1") english_format.kif 730-730
(termFormat ChineseLanguage SineFn "正弦") domainEnglishFormat.kif 53115-53115
(termFormat ChineseLanguage SineFn "正弦函数") chinese_format.kif 729-729
(termFormat ChineseTraditionalLanguage SineFn "正弦") domainEnglishFormat.kif 53114-53114
(termFormat EnglishLanguage SineFn "sine") domainEnglishFormat.kif 53113-53113

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


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

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


(equal
    (ArcSineFn
        (SineFn ?X)) ?X)
Merge.kif 5076-5076


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