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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (instance ?DEGREE RealNumber)
        (TangentFn ?DEGREE)
            (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