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

Formal Language: 



KB Term:  Term intersection
English Word: 

  populationFractionBelowPovertyLineInPeriod

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 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 TangentFn1変数関数instance では %n
(range TangentFn RealNumber) Merge.kif 5233-5233 TangentFnrange実数 のインスタンス では %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

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