Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
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
tangent
e de %1")
french_format.kif 439-439
(
format
ItalianLanguage
TangentFn
"la
tangent
e di %1")
relations-it.txt 292-292
(
format
JapaneseLanguage
TangentFn
"%1 の
tangent
")
japanese_format.kif 2156-2156
(
format
PortugueseLanguage
TangentFn
"a
tangent
e 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
実数
は
実数
の
instance
では %n
実数
の
tangent
は
実数
の
sine
+
実数
の
cosine
と
equal
では %n
statement
(
equal
(
ArcTangentFn
(
TangentFn
?X)) ?X)
Merge.kif 5256-5256
ArcTangentFn
実数
の
tangent
は
実数
と
equal
では %n
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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