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
GigaFn
Sigma KEE - relativeAngle
relativeAngle
appearance as argument number 1
(
documentation
relativeAngle
EnglishLanguage
"(
relativeAngle
?O1 ?O2 ?MEASURE) means that the two-dimensional geometric angle formed by ?O1 and ?O2 has ?MEASURE.")
Merge.kif 17956-17957
(
documentation
relativeAngle
EnglishLanguage
"One end of an object, which is the smallest part of an object that is the longest distance from the other end.")
Merge.kif 18015-18017
(
domain
relativeAngle
1
Object
)
Merge.kif 17953-17953
The number 1 argument of
relative angle
is an
instance
of
object
(
domain
relativeAngle
2
Object
)
Merge.kif 17954-17954
The number 2 argument of
relative angle
is an
instance
of
object
(
domain
relativeAngle
3
RealNumber
)
Merge.kif 17955-17955
The number 3 argument of
relative angle
is an
instance
of
real number
(
instance
relativeAngle
TernaryPredicate
)
Merge.kif 17951-17951
relative angle
is an
instance
of
ternary predicate
(
instance
relativeAngle
TotalValuedRelation
)
Merge.kif 17952-17952
relative angle
is an
instance
of
total valued relation
appearance as argument number 2
(
format
EnglishLanguage
relativeAngle
"the relative angle between %1 and %2 is %3")
Merge.kif 17959-17959
(
termFormat
EnglishLanguage
relativeAngle
"relative angle")
Merge.kif 17958-17958
antecedent
(=>
(
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 17985-18010
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
(=>
(
relativeAngle
?L1 ?L2 ?M)
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2))))
Merge.kif 17973-17982
If the relative
angle
between
an object
and
another object
is
a real number
,
then
the object
is an
instance
of
object
and
long and thin
is an
attribute
of
the object
and
the other object
is an
instance
of
object
and
long and thin
is an
attribute
of
the other object
and
the object
is
connected
to
the other object
and
the object
is not
equal
to
the other object
consequent
(=>
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2)))
(
exists
(?M)
(
relativeAngle
?L1 ?L2 ?M)))
Merge.kif 17961-17971
If
an object
is an
instance
of
object
and
long and thin
is an
attribute
of
the object
and
another object
is an
instance
of
object
and
long and thin
is an
attribute
of
the other object
and
the object
is
connected
to
the other object
and
the object
is not
equal
to
the other object
,
then there exists
a real number
such that the relative
angle
between
the object
and
the other object
is
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