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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(instance SineFn TotalValuedRelation) Merge.kif 5210-5210
(instance SineFn UnaryFunction) Merge.kif 5209-5209
(lexicon SineFn LexNoun "sin") engineering.kif 138-138
(lexicon SineFn LexNoun "sinus") engineering.kif 137-137
(range SineFn RealNumber) Merge.kif 5212-5212

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


    (instance ?DEGREE RealNumber)
        (TangentFn ?DEGREE)
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))
Merge.kif 5239-5245


        (SineFn ?X)) ?X)
Merge.kif 5275-5275

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