Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 5161-5161
(
domain
ArcCosineFn
1
RealNumber
)
Merge.kif 5159-5159
The number 1 argument of
arccosine
is an
instance
of
real number
(
instance
ArcCosineFn
TotalValuedRelation
)
Merge.kif 5158-5158
Arccosine
is an
instance
of
total valued relation
(
instance
ArcCosineFn
UnaryFunction
)
Merge.kif 5157-5157
Arccosine
is an
instance
of
unary function
(
range
ArcCosineFn
RealNumber
)
Merge.kif 5160-5160
The
range
of
arccosine
is an instance of
real number
appearance as argument number 2
(
format
EnglishLanguage
ArcCosineFn
"the arccosine of %1")
Merge.kif 5162-5162
(
termFormat
EnglishLanguage
ArcCosineFn
"arccosine")
Merge.kif 5163-5163
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 17637-17662
If the relative
angle
between
an object
and
another object
is
a real number
and one end of
the object
is
a third object
and one end of
the object
is
a fourth object
and
the third object
is not
equal
to
the fourth object
and the
length
of
the object
is
the real number
1
an unit of measure
(s) and the
length
of
the other object
is
the real number
2
the unit of measure
(s) and the
distance
between
the third object
and
a fifth object
is
the real number
3
the unit of measure
(s) and one end of
the other object
is
the fifth object
and one end of
the other object
is
a sixth object
and
the fifth object
is not
equal
to
the sixth object
and
the third object
doesn't
meet
the fifth object
,
then
the real number
is
equal
to the
arccosine
of ((
the real number
3 and
the real number
3 and
the real number
1 and
the real number
1) and
the real number
2 and
the real number
2) and 2.0 and
the real number
1 and
the real number
2
statement
(
equal
(
ArcCosineFn
(
CosineFn
?X)) ?X)
Merge.kif 5165-5165
The
arccosine
of the
cosine
of
a real number
is
equal
to
the real number
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