| 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 5215-5217 | |
| (documentation SineFn JapaneseLanguage "(SineFn ?DEGREE) は、PlaneAngleMeasure ?DEGREE の正弦である。?DEGREEの正弦は、直角三角形の斜辺に対する?DEGREEの反対側の比率である。") | japanese_format.kif 939-940 | |
| (domain SineFn 1 RealNumber) | Merge.kif 5212-5212 | The number 1 argument of sine is an instance of real number |
| (instance SineFn TotalValuedRelation) | Merge.kif 5211-5211 | Sine is an instance of total valued relation |
| (instance SineFn UnaryFunction) | Merge.kif 5210-5210 | 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 5213-5213 | 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 53134-53134 | |
| (termFormat ChineseLanguage SineFn "正弦函数") | chinese_format.kif 729-729 | |
| (termFormat ChineseTraditionalLanguage SineFn "正弦") | domainEnglishFormat.kif 53133-53133 | |
| (termFormat EnglishLanguage SineFn "sine") | domainEnglishFormat.kif 53132-53132 |
| consequent |
|
|
| (=> (instance ?DEGREE RealNumber) (equal (TangentFn ?DEGREE) (DivisionFn (SineFn ?DEGREE) (CosineFn ?DEGREE)))) |
Merge.kif 5240-5246 |
|
| statement |
|
|
| (equal (ArcSineFn (SineFn ?X)) ?X) |
Merge.kif 5276-5276 | The arcsine of the sine of a real number is equal to the real number |
|
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