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 4805-4807 | |
(documentation CosineFn JapaneseLanguage "(CosineFn ?DEGREE) は PlaneAngleMeasure ?DEGREEの余弦をす。 ?DEGREEの余弦は、直角三角形の斜辺に対する?DEGREEの横の比率である。") | japanese_format.kif 892-893 | |
(domain CosineFn 1 PlaneAngleMeasure) | Merge.kif 4802-4802 | Die Zahl 1 Argument von CosineFn ist ein fall von PlaneAngleMeasure %n{nicht} |
(instance CosineFn TotalValuedRelation) | Merge.kif 4801-4801 | CosineFn ist ein fall von TotalValuedRelation %n{nicht} |
(instance CosineFn UnaryFunction) | Merge.kif 4800-4800 | CosineFn ist ein fall von UnaryFunction %n{nicht} |
(lexicon CosineFn LexNoun "cos") | engineering.kif 141-141 | |
(lexicon CosineFn LexNoun "cosinus") | engineering.kif 140-140 | |
(range CosineFn RealNumber) | Merge.kif 4803-4803 | bildbereich von CosineFn ist ein fall von RealNumber {nicht} |
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 5240-5246 |
|
statement |
(equal (ArcCosineFn (CosineFn ?X)) ?X) |
Merge.kif 5266-5266 | Der arcuskosinus von der Kosinus von RealNumber ist gleich ** RealNumber %n{nicht} |