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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CosineFn

Sigma KEE - CosineFn
CosineFn

appearance as argument number 1
-------------------------


(documentation CosineFn ChineseLanguage "(CosineFn ?DEGREE)得出 PlaneAngleMeasure ?DEGREE 的余弦。在一个直角三角形, ?DEGREE 的余弦是?DEGREE 傍边的边和斜边的比率。") chinese_format.kif 2228-2229
(documentation CosineFn EnglishLanguage "(CosineFn ?DEGREE) returns the cosine of the PlaneAngleMeasure ?DEGREE. The cosine of ?DEGREE is the ratio of the side next to ?DEGREE to the hypotenuse in a right-angled triangle.") Merge.kif 4804-4806
(documentation CosineFn JapaneseLanguage "(CosineFn ?DEGREE) は PlaneAngleMeasure ?DEGREEの余弦をす。 ?DEGREEの余弦は、直角三角形の斜辺に対する?DEGREEの横の比率である。") japanese_format.kif 892-893
(domain CosineFn 1 PlaneAngleMeasure) Merge.kif 4801-4801
(instance CosineFn TotalValuedRelation) Merge.kif 4800-4800
(instance CosineFn UnaryFunction) Merge.kif 4799-4799
(lexicon CosineFn LexNoun "cos") engineering.kif 141-141
(lexicon CosineFn LexNoun "cosinus") engineering.kif 140-140
(range CosineFn RealNumber) Merge.kif 4802-4802

appearance as argument number 2
-------------------------


(format ChineseLanguage CosineFn "%1 的馀弦") chinese_format.kif 692-692
(format EnglishLanguage CosineFn "the cosine of %1") english_format.kif 694-694
(format FrenchLanguage CosineFn "le cosinus de %1") french_format.kif 419-419
(format ItalianLanguage CosineFn "il coseno di %1") relations-it.txt 61-61
(format JapaneseLanguage CosineFn "%1 の cosine") japanese_format.kif 2136-2136
(format PortugueseLanguage CosineFn "o coseno de %1") portuguese_format.kif 371-371
(format de CosineFn "der Kosinus von %1") relations-de.txt 905-905
(format hi CosineFn "%1 kaa kosaaina") relations-hindi.txt 102-102
(format ro CosineFn "cosine%t{cosinusul} lui %1") relations-ro.kif 441-441
(format sv CosineFn "cosinus av %1") relations-sv.txt 469-469
(format tg CosineFn "ang cosine ng %1") relations-cb.txt 95-95
(termFormat ChineseLanguage CosineFn "余弦") domainEnglishFormat.kif 17442-17442
(termFormat ChineseLanguage CosineFn "馀弦函数") chinese_format.kif 693-693
(termFormat ChineseTraditionalLanguage CosineFn "餘弦") domainEnglishFormat.kif 17441-17441
(termFormat EnglishLanguage CosineFn "cosine") domainEnglishFormat.kif 17440-17440
(termFormat tg CosineFn "tungkulin cosine") relations-tg.txt 139-139

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