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
pointOfFigure
Sigma KEE - pointOfFigure
pointOfFigure
appearance as argument number 1
(
documentation
pointOfFigure
ChineseLanguage
"(
pointOfFigure
?POINT ?FIGURE)的意思是
GeometricPoint
?POINT 是
GeometricFigure
?FIGURE 的一部分。")
chinese_format.kif 3986-3987
(
documentation
pointOfFigure
EnglishLanguage
"(
pointOfFigure
?POINT ?FIGURE) means that the
GeometricPoint
?POINT is part of the
GeometricFigure
?FIGURE.")
Merge.kif 17829-17830
(
domain
pointOfFigure
1
GeometricPoint
)
Merge.kif 17827-17827
The number 1 argument of
point of figure
is an
instance
of
geometric point
(
domain
pointOfFigure
2
GeometricFigure
)
Merge.kif 17828-17828
The number 2 argument of
point of figure
is an
instance
of
geometric figure
(
instance
pointOfFigure
BinaryPredicate
)
Merge.kif 17826-17826
point of figure
is an
instance
of
binary predicate
(
subrelation
pointOfFigure
geometricPart
)
Merge.kif 17825-17825
point of figure
is a
subrelation
of
geometric part
appearance as argument number 2
(
format
ChineseLanguage
pointOfFigure
"%1 %n 是 %2 的顶点")
chinese_format.kif 794-794
(
format
EnglishLanguage
pointOfFigure
"%1 is %n a vertex of %2")
english_format.kif 799-799
(
format
FrenchLanguage
pointOfFigure
"%1 est %n un point de %2")
french_format.kif 478-478
(
format
JapaneseLanguage
pointOfFigure
"%1 の vertex は %2 では %n")
english_format.kif 800-800
(
format
PortugueseLanguage
pointOfFigure
"%1 e' %n um ponto de %2")
portuguese_format.kif 430-430
(
format
ro
pointOfFigure
"%1 %n{nu} este un vertex%t{vârf} al lui %2")
relations-ro.kif 500-500
(
termFormat
ChineseLanguage
pointOfFigure
"图形的顶点")
chinese_format.kif 795-795
(
termFormat
ChineseLanguage
pointOfFigure
"点图")
domainEnglishFormat.kif 46356-46356
(
termFormat
ChineseTraditionalLanguage
pointOfFigure
"點圖")
domainEnglishFormat.kif 46355-46355
(
termFormat
EnglishLanguage
pointOfFigure
"point of figure")
domainEnglishFormat.kif 46354-46354
antecedent
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 4966-4971
If the
center
of circle of
a circle
is
equal
to
a geometric point
and
the geometric point
2 is a
vertex
of
the circle
and
the geometric point
2 is
geometric
distance
the geometric point
for
a length measure
,
then the
radius
of
the circle
is
equal
to
the length measure
consequent
(=>
(
and
(
attribute
?OBJ ?SPHERE)
(
instance
?SPHERE
Sphere
))
(
exists
(?CENTER ?DIST)
(
forall
(?PT)
(=>
(
pointOfFigure
?PT ?OBJ)
(
geometricDistance
?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4990-4998
If
an attribute
is an
attribute
of
an object
and
the attribute
is an
instance
of
sphere
,
then there exist
a geometric point
and
a length measure
such that for all
another geometric point
if
the other geometric point
is a
vertex
of
the object
,
then
the other geometric point
is
geometric
distance
the geometric point
for
the length measure
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
If
a self connected object
is an
instance
of
object
and
convex round shape
is an
attribute
of
the self connected object
and
another self connected object
is a
surface
of
the self connected object
and
the other self connected object
is an
instance
of
two dimensional object
,
then for all
a geometric point
the geometric point
is a
part
of
the self connected object
and
geometric point
is an
attribute
of
the geometric point
and
the geometric point
is a
vertex
of
the self connected object
and
the geometric point
meet
s
the self connected object
and
the geometric point
meet
s
the other self connected object
and there exists
an one dimensional figure
such that a
tangent
of
the other self connected object
is
the one dimensional figure
(=>
(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)
(
and
(
pointOfFigure
?POINT ?FIGURE1)
(
pointOfFigure
?POINT ?FIGURE2)))
Merge.kif 17846-17850
If
an one dimensional figure
is
point
of intersection
another one dimensional figure
for
a geometric point
,
then
the geometric point
is a
vertex
of
the one dimensional figure
and
the geometric point
is a
vertex
of
the other one dimensional figure
(=>
(
radius
?CIRCLE ?RADIUS)
(
exists
(?POINT)
(
forall
(?PART)
(=>
(
pointOfFigure
?PART ?CIRCLE)
(
geometricDistance
?PART ?POINT ?RADIUS)))))
Merge.kif 7651-7657
If the
radius
of
a circle
is
a length measure
,
then there exists
a geometric point
such that for all
another geometric point
if
the other geometric point
is a
vertex
of
the circle
,
then
the other geometric point
is
geometric
distance
the geometric point
for
the length measure
(=>
(
tangent
?LINE ?CIRCLE)
(
exists
(?POINT1)
(
and
(
pointOfFigure
?POINT1 ?LINE)
(
pointOfFigure
?POINT1 ?CIRCLE)
(
forall
(?POINT2)
(=>
(
and
(
pointOfFigure
?POINT2 ?LINE)
(
pointOfFigure
?POINT2 ?CIRCLE))
(
equal
?POINT1 ?POINT2))))))
Mid-level-ontology.kif 4784-4795
If a
tangent
of
a two dimensional object
is
an one dimensional figure
,
then there exists
a geometric point
such that
the geometric point
is a
vertex
of
the one dimensional figure
and
the geometric point
is a
vertex
of
the two dimensional object
and for all
another geometric point
if
the other geometric point
is a
vertex
of
the one dimensional figure
and
the other geometric point
is a
vertex
of
the two dimensional object
,
then
the geometric point
is
equal
to
the other geometric point
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