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
ArcCosineFn
Sigma KEE - ArcCosineFn
ArcCosineFn
appearance as argument number 1
(
documentation
ArcCosineFn
EnglishLanguage
"The inverse of
CosineFn
.")
Merge.kif 5261-5261
(
domain
ArcCosineFn
1
RealNumber
)
Merge.kif 5259-5259
域
ArcCosineFn
, 1 and
RealNumber
(
instance
ArcCosineFn
TotalValuedRelation
)
Merge.kif 5258-5258
例
ArcCosineFn
and
TotalValuedRelation
(
instance
ArcCosineFn
UnaryFunction
)
Merge.kif 5257-5257
例
ArcCosineFn
and
UnaryFunction
(
range
ArcCosineFn
RealNumber
)
Merge.kif 5260-5260
範圍
ArcCosineFn
and
RealNumber
appearance as argument number 2
(
format
EnglishLanguage
ArcCosineFn
"the arccosine of %1")
Merge.kif 5262-5262
(
format
ItalianLanguage
ArcCosineFn
"l' arcocoseno di %1")
relations-it.txt 24-24
(
format
de
ArcCosineFn
"der arcuskosinus von %1")
relations-de.txt 897-897
(
format
hi
ArcCosineFn
"%1 kaa aarakosaaina")
relations-hindi.txt 68-68
(
format
sv
ArcCosineFn
"arccosinus av %1")
relations-sv.txt 462-462
(
format
tg
ArcCosineFn
"ang arccosine ng %1")
relations-cb.txt 58-58
(
termFormat
EnglishLanguage
ArcCosineFn
"arccosine")
Merge.kif 5263-5263
(
termFormat
tg
ArcCosineFn
"arccosine")
relations-tg.txt 65-65
consequent
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17906-17931
relativeAngle
Object
,
Object
and
RealNumber
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
length
Object
and
測量
RealNumber
and
UnitOfMeasure
length
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
空間的符合
Object
and
Object
等於
RealNumber
and
ArcCosineFn
部
減法
減法
乘法
RealNumber
and
RealNumber
and
乘法
RealNumber
and
RealNumber
and
乘法
RealNumber
and
RealNumber
and
乘法
2.0 and
乘法
RealNumber
and
RealNumber
statement
(
equal
(
ArcCosineFn
(
CosineFn
?X)) ?X)
Merge.kif 5265-5265
等於
ArcCosineFn
餘弦
RealNumber
and
RealNumber
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