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
angleOfFigure
Sigma KEE - angleOfFigure
angleOfFigure
appearance as argument number 1
(
documentation
angleOfFigure
ChineseLanguage
"(
angleOfFigure
?ANGLE ?FIGURE)的意思是
TwoDimensionalAngle
?ANGLE 是
GeometricFigure
?FIGURE 的一部分。")
chinese_format.kif 3988-3989
(
documentation
angleOfFigure
EnglishLanguage
"(
angleOfFigure
?ANGLE ?FIGURE) means that the
TwoDimensionalAngle
?ANGLE is part of the
GeometricFigure
?FIGURE.")
Merge.kif 17836-17837
(
domain
angleOfFigure
1
TwoDimensionalAngle
)
Merge.kif 17834-17834
The number 1 argument of
angle of figure
is an
instance
of
two dimensional angle
(
domain
angleOfFigure
2
GeometricFigure
)
Merge.kif 17835-17835
The number 2 argument of
angle of figure
is an
instance
of
geometric figure
(
instance
angleOfFigure
BinaryPredicate
)
Merge.kif 17833-17833
angle of figure
is an
instance
of
binary predicate
(
subrelation
angleOfFigure
geometricPart
)
Merge.kif 17832-17832
angle of figure
is a
subrelation
of
geometric part
appearance as argument number 2
(
format
ChineseLanguage
angleOfFigure
"%1 是发现在 %2 的 angle ")
domainEnglishFormat.kif 2802-2802
(
format
ChineseTraditionalLanguage
angleOfFigure
"%1 是發現在 %2 的 angle ")
domainEnglishFormat.kif 2801-2801
(
format
EnglishLanguage
angleOfFigure
"%1 is the angle found in %2")
domainEnglishFormat.kif 2800-2800
(
termFormat
ChineseLanguage
angleOfFigure
"图的角度")
domainEnglishFormat.kif 7482-7482
(
termFormat
ChineseTraditionalLanguage
angleOfFigure
"圖的角度")
domainEnglishFormat.kif 7481-7481
(
termFormat
EnglishLanguage
angleOfFigure
"angle of figure")
domainEnglishFormat.kif 7480-7480
consequent
(=>
(
instance
?RECTANGLE
Rectangle
)
(
exists
(?ANGLE)
(
and
(
angleOfFigure
?ANGLE ?RECTANGLE)
(
instance
?ANGLE
RightAngle
))))
Mid-level-ontology.kif 4927-4932
If
a geometric figure
is an
instance
of
rectangle
,
then there exists
a two dimensional angle
such that
the two dimensional angle
is the
angle
found in
the geometric figure
and
the two dimensional angle
is an
instance
of
right angle
(=>
(
instance
?T
RightTriangle
)
(
exists
(?A)
(
and
(
instance
?A
RightAngle
)
(
angleOfFigure
?A ?T))))
Mid-level-ontology.kif 4906-4911
If
a geometric figure
is an
instance
of
right triangle
,
then there exists
a two dimensional angle
such that
the two dimensional angle
is an
instance
of
right angle
and
the two dimensional angle
is the
angle
found in
the geometric figure
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