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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TangentFn

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 5134-5137
(domain TangentFn 1 RealNumber) Merge.kif 5131-5131
(instance TangentFn TotalValuedRelation) Merge.kif 5130-5130
(instance TangentFn UnaryFunction) Merge.kif 5129-5129
(range TangentFn RealNumber) Merge.kif 5132-5132

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
(termFormat ChineseLanguage TangentFn "切线") domainEnglishFormat.kif 56884-56884
(termFormat ChineseLanguage TangentFn "正切函数") chinese_format.kif 733-733
(termFormat ChineseTraditionalLanguage TangentFn "切線") domainEnglishFormat.kif 56883-56883
(termFormat EnglishLanguage TangentFn "tangent") domainEnglishFormat.kif 56882-56882

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


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

Show without tree


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