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
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 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
Il numero 1 argomenti di
TangentFn
è un
istanza
di
NumeroReale
(
instance
TangentFn
TotalValuedRelation
)
Merge.kif 5230-5230
TangentFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
TangentFn
UnaryFunction
)
Merge.kif 5229-5229
TangentFn
è un'
istanza
di
FunzioneUnaria
(
range
TangentFn
RealNumber
)
Merge.kif 5232-5232
rango
di
TangentFn
è un'istanza di
NumeroReale
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 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
NumeroReale
è un'
istanza
di
NumeroReale
la
tangente
di
NumeroReale
is
uguale
a il
seno
di
NumeroReale
+ il
coseno
di
NumeroReale
statement
(
equal
(
ArcTangentFn
(
TangentFn
?X)) ?X)
Merge.kif 5255-5255
L'
arcotangente
di la
tangente
di
NumeroReale
is
uguale
a
NumeroReale
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