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 5214-5216
(documentation SineFn JapaneseLanguage "(SineFn ?DEGREE) は、PlaneAngleMeasure ?DEGREE の正弦である。?DEGREEの正弦は、直角三角形の斜辺に対する?DEGREEの反対側の比率である。") japanese_format.kif 939-940
(domain SineFn 1 RealNumber) Merge.kif 5211-5211 The number 1 argument of sine is an instance of real number
(instance SineFn TotalValuedRelation) Merge.kif 5210-5210 Sine is an instance of total valued relation
(instance SineFn UnaryFunction) Merge.kif 5209-5209 Sine is an instance of unary function
(lexicon SineFn LexNoun "sin") engineering.kif 138-138
(lexicon SineFn LexNoun "sinus") engineering.kif 137-137
(range SineFn RealNumber) Merge.kif 5212-5212 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 730-730
(format FrenchLanguage SineFn "le sinus de %1") french_format.kif 437-437
(format ItalianLanguage SineFn "il seno di %1") relations-it.txt 264-264
(format JapaneseLanguage SineFn "%1 の sine") japanese_format.kif 2154-2154
(format PortugueseLanguage SineFn "o seno de %1") portuguese_format.kif 389-389
(format de SineFn "der Sinus von %1") relations-de.txt 941-941
(format hi SineFn "%1 kaa saaina") relations-hindi.txt 301-301
(format ro SineFn "sine%t{sinusul} lui %1") relations-ro.kif 459-459
(format sv SineFn "sinus av %1") relations-sv.txt 499-499
(termFormat ChineseLanguage SineFn "正弦") domainEnglishFormat.kif 53132-53132
(termFormat ChineseLanguage SineFn "正弦函数") chinese_format.kif 729-729
(termFormat ChineseTraditionalLanguage SineFn "正弦") domainEnglishFormat.kif 53131-53131
(termFormat EnglishLanguage SineFn "sine") domainEnglishFormat.kif 53130-53130

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


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

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


(equal
    (ArcSineFn
        (SineFn ?X)) ?X)
Merge.kif 5275-5275 The arcsine of the sine of a real number is equal to the real number


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