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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SineFn

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 5114-5116
(domain SineFn 1 RealNumber) Merge.kif 5111-5111
(instance SineFn TotalValuedRelation) Merge.kif 5110-5110
(instance SineFn UnaryFunction) Merge.kif 5109-5109
(lexicon SineFn LexNoun "sin") engineering.kif 137-137
(lexicon SineFn LexNoun "sinus") engineering.kif 136-136
(range SineFn RealNumber) Merge.kif 5112-5112

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