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

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