Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
bodyAngle
Sigma KEE - bodyAngle
bodyAngle
appearance as argument number 1
(
instance
bodyAngle
TernaryPredicate
)
Mid-level-ontology.kif 12155-12155
body angle
is an
instance
of
ternary predicate
(
domain
bodyAngle
1
BodyPart
)
Mid-level-ontology.kif 12156-12156
The number 1 argument of
body angle
is an
instance
of
body part
(
domain
bodyAngle
2
BodyPart
)
Mid-level-ontology.kif 12157-12157
The number 2 argument of
body angle
is an
instance
of
body part
(
domain
bodyAngle
3
AngleMeasure
)
Mid-level-ontology.kif 12158-12158
The number 3 argument of
body angle
is an
instance
of
angle measure
(
documentation
bodyAngle
EnglishLanguage
"The relative
AngleMeasure
between parts of the body of an
Animal
.")
Mid-level-ontology.kif 12162-12163
The number 3 argument of
body angle
is an
instance
of
angle measure
appearance as argument number 2
(
termFormat
EnglishLanguage
bodyAngle
"body angle")
Mid-level-ontology.kif 12159-12159
(
format
EnglishLanguage
bodyAngle
"the angle between %1 and %2 is %3")
Mid-level-ontology.kif 12160-12160
(
relatedInternalConcept
planeAngleMeasure
bodyAngle
)
Mid-level-ontology.kif 28145-28145
plane angle measure
is
internally
related to
body angle
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners