| appearance as argument number 1 |
|
| (documentation TangentFn ChineseLanguage "(TangentFn ?DEGREE)是 PlaneAngleMeasure ?DEGREE 的切线。在一个直角三角形， ?DEGREE 的切线是?DEGREE 对边和?DEGREE 的比率。") | chinese_format.kif 2276-2277 | |
| (documentation TangentFn EnglishLanguage "(TangentFn ?DEGREE) is the tangent of ?DEGREE. The tangent of ?DEGREE is the ratio of the side opposite ?DEGREE to the side next to ?DEGREE in a right-angled triangle.") | Merge.kif 5235-5238 | |
| (documentation TangentFn JapaneseLanguage "(TangentFn ?DEGREE) は、PlaneAngleMeasure ?DEGREE の接線である。 ?DEGREEの接線は、直角三角形の?DEGREEの横の反対側の?DEGREEの比率である。") | japanese_format.kif 943-944 | |
| (domain TangentFn 1 RealNumber) | Merge.kif 5232-5232 | TangentFn の数値 1 引数は 実数 の instance では %n |
| (instance TangentFn TotalValuedRelation) | Merge.kif 5231-5231 | TangentFn は 合計値関係 の instance では %n |
| (instance TangentFn UnaryFunction) | Merge.kif 5230-5230 | TangentFn は 1変数関数 の instance では %n |
| (range TangentFn RealNumber) | Merge.kif 5233-5233 | TangentFn の range は 実数 のインスタンス では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage TangentFn "%1 的正切") | chinese_format.kif 732-732 | |
| (format EnglishLanguage TangentFn "the tangent of %1") | english_format.kif 734-734 | |
| (format FrenchLanguage TangentFn "la tangente de %1") | french_format.kif 439-439 | |
| (format ItalianLanguage TangentFn "la tangente di %1") | relations-it.txt 292-292 | |
| (format JapaneseLanguage TangentFn "%1 の tangent") | japanese_format.kif 2156-2156 | |
| (format PortugueseLanguage TangentFn "a tangente de %1") | portuguese_format.kif 391-391 | |
| (format de TangentFn "der tangens von %1") | relations-de.txt 945-945 | |
| (format hi TangentFn "%1 kaa TainajenTa") | relations-hindi.txt 328-328 | |
| (format ro TangentFn "tangent%t{tangenta} lui %1") | relations-ro.kif 461-461 | |
| (format sv TangentFn "tangens av %1") | relations-sv.txt 501-501 | |
| (termFormat ChineseLanguage TangentFn "切线") | domainEnglishFormat.kif 56907-56907 | |
| (termFormat ChineseLanguage TangentFn "正切函数") | chinese_format.kif 733-733 | |
| (termFormat ChineseTraditionalLanguage TangentFn "切線") | domainEnglishFormat.kif 56906-56906 | |
| (termFormat EnglishLanguage TangentFn "tangent") | domainEnglishFormat.kif 56905-56905 |
| consequent |
|
|
| (=> (instance ?DEGREE RealNumber) (equal (TangentFn ?DEGREE) (DivisionFn (SineFn ?DEGREE) (CosineFn ?DEGREE)))) |
Merge.kif 5240-5246 |
| statement |
|
|
| (equal (ArcTangentFn (TangentFn ?X)) ?X) |
Merge.kif 5256-5256 | ArcTangentFn 実数 の tangent は 実数 と equal では %n |
|
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