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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TangentFn
TangentFn

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 5234-5237
(documentation TangentFn JapaneseLanguage "(TangentFn ?DEGREE) は、PlaneAngleMeasure ?DEGREE の接線である。 ?DEGREEの接線は、直角三角形の?DEGREEの横の反対側の?DEGREEの比率である。") japanese_format.kif 943-944
(domain TangentFn 1 RealNumber) Merge.kif 5231-5231 The number 1 argument of tangent is an instance of real number
(instance TangentFn TotalValuedRelation) Merge.kif 5230-5230 Tangent is an instance of total valued relation
(instance TangentFn UnaryFunction) Merge.kif 5229-5229 Tangent is an instance of unary function
(range TangentFn RealNumber) Merge.kif 5232-5232 The range of tangent is an instance of real number

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 56905-56905
(termFormat ChineseLanguage TangentFn "正切函数") chinese_format.kif 733-733
(termFormat ChineseTraditionalLanguage TangentFn "切線") domainEnglishFormat.kif 56904-56904
(termFormat EnglishLanguage TangentFn "tangent") domainEnglishFormat.kif 56903-56903

consequent
-------------------------


(=>
    (instance ?DEGREE RealNumber)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))
Merge.kif 5239-5245

statement
-------------------------


(equal
    (ArcTangentFn
        (TangentFn ?X)) ?X)
Merge.kif 5255-5255 The arctan of the tangent 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