CosineFn - Sigma Knowledge base Browser

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 4857-4859
(documentation CosineFn JapaneseLanguage "(CosineFn ?DEGREE) は PlaneAngleMeasure ?DEGREEの余弦をす。 ?DEGREEの余弦は、直角三角形の斜辺に対する?DEGREEの横の比率である。")	japanese_format.kif 892-893
(domain CosineFn 1 PlaneAngleMeasure)	Merge.kif 4854-4854	The number 1 argument of cosine is an instance of plane angle measure
(instance CosineFn TotalValuedRelation)	Merge.kif 4853-4853	Cosine is an instance of total valued relation
(instance CosineFn UnaryFunction)	Merge.kif 4852-4852	Cosine is an instance of unary function
(lexicon CosineFn LexNoun "cos")	engineering.kif 140-140	Cosine is an instance of unary function
(lexicon CosineFn LexNoun "cosinus")	engineering.kif 139-139	Cosine is an instance of unary function
(range CosineFn RealNumber)	Merge.kif 4855-4855	The range of cosine is an instance of real number

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 17450-17450
(termFormat ChineseLanguage CosineFn "馀弦函数")	chinese_format.kif 693-693
(termFormat ChineseTraditionalLanguage CosineFn "餘弦")	domainEnglishFormat.kif 17449-17449
(termFormat EnglishLanguage CosineFn "cosine")	domainEnglishFormat.kif 17448-17448
(termFormat de CosineFn "KosinusFn")	terms-de.txt 271-271
(termFormat tg CosineFn "tungkulin cosine")	relations-tg.txt 139-139

consequent

(=>
    (instance ?DEGREE RealNumber)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))

Merge.kif 5292-5298

statement

(equal
(ArcCosineFn
(CosineFn ?X)) ?X)

Merge.kif 5318-5318