Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
CenterOfCircleFn
Sigma KEE - CenterOfCircleFn
CenterOfCircleFn
appearance as argument number 1
(
documentation
CenterOfCircleFn
ChineseLanguage
"(CenterOfCircleFn ?CIRCLE) 表示
Circle
?CIRCLE 的中心的
GeometricPoint
。")
chinese_format.kif 2649-2650
(
documentation
CenterOfCircleFn
EnglishLanguage
"(CenterOfCircleFn ?CIRCLE) denotes the
GeometricPoint
that is the center of the
Circle
?CIRCLE.")
Merge.kif 7703-7704
(
documentation
CenterOfCircleFn
JapaneseLanguage
"(CenterOfCircleFn ?CIRCLE)は、
Circle
?CIRCLEの中心である
GeometricPoint
を示す。")
japanese_format.kif 1366-1367
(
domain
CenterOfCircleFn
1
Circle
)
Merge.kif 7708-7708
The number 1 argument of
center of circle
is an
instance
of
circle
(
instance
CenterOfCircleFn
TotalValuedRelation
)
Merge.kif 7707-7707
Center of circle
is an
instance
of
total valued relation
(
instance
CenterOfCircleFn
UnaryFunction
)
Merge.kif 7706-7706
Center of circle
is an
instance
of
unary function
(
range
CenterOfCircleFn
GeometricPoint
)
Merge.kif 7709-7709
The
range
of
center of circle
is an instance of
geometric point
appearance as argument number 2
(
format
ChineseLanguage
CenterOfCircleFn
"圆 %1 的 center ")
domainEnglishFormat.kif 404-404
(
format
ChineseTraditionalLanguage
CenterOfCircleFn
"圓 %1 的 center ")
domainEnglishFormat.kif 403-403
(
format
EnglishLanguage
CenterOfCircleFn
"the center of circle of %1")
domainEnglishFormat.kif 402-402
(
relatedInternalConcept
CentralAngle
CenterOfCircleFn
)
Mid-level-ontology.kif 5719-5719
Central angle
is
internally
related to
center of circle
(
termFormat
ChineseLanguage
CenterOfCircleFn
"圆心")
domainEnglishFormat.kif 13767-13767
Central angle
is
internally
related to
center of circle
(
termFormat
ChineseTraditionalLanguage
CenterOfCircleFn
"圓心")
domainEnglishFormat.kif 13766-13766
Central angle
is
internally
related to
center of circle
(
termFormat
EnglishLanguage
CenterOfCircleFn
"center of circle")
domainEnglishFormat.kif 13765-13765
Central angle
is
internally
related to
center of circle
antecedent
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 5589-5594
If
equal
the
center
of circle of
a circle
and
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
equal
the
radius
of
the circle
and
the length measure
(=>
(
and
(
equal
?CHORD
ChordOfACircle
)
(
pointOfFigure
(
CenterOfCircleFn
?C) ?CHORD)
(
equal
?C
Circle
))
(
equal
?CHORD
DiameterLine
))
Mid-level-ontology.kif 5846-5852
If
equal
a geometric figure
and
chord of a circle
and the
center
of circle of
a circle
is a
vertex
of
the geometric figure
and
equal
the circle
and
circle
,
then
equal
the geometric figure
and
diameter line
(=>
(
equal
?P
(
CenterOfCircleFn
?C))
(
equal
?C
Circle
))
Merge.kif 7711-7714
If
equal
a geometric point
and the
center
of circle of
a circle
,
then
equal
the circle
and
circle
consequent
(=>
(
equal
?C
Circle
)
(
exists
(?P)
(
equal
(
CenterOfCircleFn
?C) ?P)))
Merge.kif 7698-7701
If
equal
a circle
and
circle
,
then there exists
a geometric point
such that
equal
the
center
of circle of
the circle
and
the geometric point
(=>
(
instance
?A
CentralAngle
)
(
exists
(?L ?L2 ?C ?R)
(
and
(
equal
?L
ClosedLineSegment
)
(
sideOfFigure
?L ?A)
(
equal
?L2
ClosedLineSegment
)
(
sideOfFigure
?L2 ?A)
(
equal
?C
Circle
)
(
geometricPart
?A ?C)
(
pointOfIntersection
?L ?L2
(
CenterOfCircleFn
?C))
(
lineMeasure
?L ?R)
(
lineMeasure
?L2 ?R)
(
radius
?C ?R))))
Mid-level-ontology.kif 5737-5751
If
a geometric figure
is an
instance
of
central angle
,
then there exist
an one dimensional figure
,
the one dimensional figure
2,, ,
a circle
and
a length measure
such that
equal
the one dimensional figure
and
closed line segment
and the
size
of
the geometric figure
is
the one dimensional figure
and
equal
the one dimensional figure
2 and
closed line segment
and the
size
of
the geometric figure
is
the one dimensional figure
2 and
equal
the circle
and
circle
and
the circle
is a
geometric
part of
the geometric figure
and
the one dimensional figure
is
point
of intersection
the one dimensional figure
2 for the
center
of circle of
the circle
and
the length measure
is a
line
measure of
the one dimensional figure
and
the length measure
is a
line
measure of
the one dimensional figure
2 and the
radius
of
the circle
is
the length measure
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
