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
relativeAngle
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 17899-17900
(
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 17958-17960
(
domain
relativeAngle
1
Object
)
Merge.kif 17896-17896
The number 1 argument of
relative angle
is an
instance
of
object
(
domain
relativeAngle
2
Object
)
Merge.kif 17897-17897
The number 2 argument of
relative angle
is an
instance
of
object
(
domain
relativeAngle
3
RealNumber
)
Merge.kif 17898-17898
The number 3 argument of
relative angle
is an
instance
of
real number
(
instance
relativeAngle
TernaryPredicate
)
Merge.kif 17894-17894
relative angle
is an
instance
of
ternary predicate
(
instance
relativeAngle
TotalValuedRelation
)
Merge.kif 17895-17895
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 17902-17902
(
termFormat
EnglishLanguage
relativeAngle
"relative angle")
Merge.kif 17901-17901
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 17928-17953
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 17916-17925
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 17904-17914
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