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 ?DEGREE. The sine of ?DEGREE is the ratio of the side opposite ?DEGREE to the hypotenuse in a right-angled triangle.") Merge.kif 5145-5147
(domain SineFn 1 RealNumber) Merge.kif 5142-5142
(instance SineFn TotalValuedRelation) Merge.kif 5141-5141
(instance SineFn UnaryFunction) Merge.kif 5140-5140
(lexicon SineFn LexNoun "sin") engineering.kif 137-137
(lexicon SineFn LexNoun "sinus") engineering.kif 136-136
(range SineFn RealNumber) Merge.kif 5143-5143

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 53122-53122
(termFormat ChineseLanguage SineFn "正弦函数") chinese_format.kif 729-729
(termFormat ChineseTraditionalLanguage SineFn "正弦") domainEnglishFormat.kif 53121-53121
(termFormat EnglishLanguage SineFn "sine") domainEnglishFormat.kif 53120-53120

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


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

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


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


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