Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
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
pointOfIntersection
Sigma KEE - pointOfIntersection
pointOfIntersection
appearance as argument number 1
(
documentation
pointOfIntersection
ChineseLanguage
"(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)的意思是两条直线 ?FIGURE1 和 ?FIGURE2 在 ?POINT 点相遇。")
chinese_format.kif 3990-3990
(
documentation
pointOfIntersection
EnglishLanguage
"(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.")
Merge.kif 18011-18012
(
domain
pointOfIntersection
1
OneDimensionalFigure
)
Merge.kif 18008-18008
The number 1 argument of
point of intersection
is an
instance
of
one dimensional figure
(
domain
pointOfIntersection
2
OneDimensionalFigure
)
Merge.kif 18009-18009
The number 2 argument of
point of intersection
is an
instance
of
one dimensional figure
(
domain
pointOfIntersection
3
GeometricPoint
)
Merge.kif 18010-18010
The number 3 argument of
point of intersection
is an
instance
of
geometric point
(
instance
pointOfIntersection
TernaryPredicate
)
Merge.kif 18007-18007
point of intersection
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
pointOfIntersection
"%1 %n 是 对于 %3 的 交接点 %2 ")
domainEnglishFormat.kif 1979-1979
(
format
ChineseTraditionalLanguage
pointOfIntersection
"%1 %n 是 對於 %3 的 交接點 %2 ")
domainEnglishFormat.kif 1978-1978
(
format
EnglishLanguage
pointOfIntersection
"%1 is %n point of intersection %2 for %3")
domainEnglishFormat.kif 1977-1977
(
relatedInternalConcept
sideOfIntersection
pointOfIntersection
)
Mid-level-ontology.kif 5348-5348
side of intersection
is
internally
related to
point of intersection
(
termFormat
ChineseLanguage
pointOfIntersection
"交点")
domainEnglishFormat.kif 46364-46364
side of intersection
is
internally
related to
point of intersection
(
termFormat
ChineseTraditionalLanguage
pointOfIntersection
"交點")
domainEnglishFormat.kif 46363-46363
side of intersection
is
internally
related to
point of intersection
(
termFormat
EnglishLanguage
pointOfIntersection
"point of intersection")
domainEnglishFormat.kif 46362-46362
side of intersection
is
internally
related to
point of intersection
antecedent
(=>
(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)
(
and
(
pointOfFigure
?POINT ?FIGURE1)
(
pointOfFigure
?POINT ?FIGURE2)))
Merge.kif 18014-18018
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
consequent
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4521-4538
If
a geometric figure
is an
attribute
of
an object
and
the object
is an
instance
of
four-poster bed
and
the geometric figure
is an
instance
of
quadrilateral
and the
size
of
the geometric figure
is
an one dimensional figure
and the
size
of
the geometric figure
is
another one dimensional figure
and
the one dimensional figure
is not
equal
to
the other one dimensional figure
,
then there exist
another object
,
a third object
,, ,
a geometric point
and
a fourth object
such that
the other object
is a
part
of
the object
and
the third object
is an
instance
of
floor
and
the object
is
on
to
the third object
and
the other object
is
vertical
to
the third object
and
the one dimensional figure
is
point
of intersection
the other one dimensional figure
for
the geometric point
and
the geometric point
is an
attribute
of
the fourth object
and
the fourth object
meet
s
the other object
(=>
(
and
(
equal
?S
CircularSegment
)
(
equal
?A
CircularArc
)
(
geometricPart
?A ?S)
(
equal
?C
ChordOfACircle
)
(
geometricPart
?C ?S))
(
exists
(?P1 ?P2)
(
and
(
not
(
equal
?P1 ?P2))
(
endPointsOfLine
?P1 ?P2 ?C)
(
pointOfIntersection
?A ?C ?P1)
(
pointOfIntersection
?A ?C ?P2))))
Mid-level-ontology.kif 5889-5902
If
a geometric figure
is
equal
to
circular segment
and
an one dimensional figure
is
equal
to
circular arc
and
the geometric figure
is a
geometric
part of
the one dimensional figure
and
another one dimensional figure
is
equal
to
chord of a circle
and
the geometric figure
is a
geometric
part of
the other one dimensional figure
,
then there exist
a geometric point
and
another geometric point
such that
the geometric point
is not
equal
to
the other geometric point
and
the geometric point
and
the other geometric point
are
endPointsOfLine
of
the other one dimensional figure
and
the one dimensional figure
is
point
of intersection
the other one dimensional figure
for
the geometric point
and
the one dimensional figure
is
point
of intersection
the other one dimensional figure
for
the other 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
the one dimensional figure
is
equal
to
closed line segment
and the
size
of
the geometric figure
is
the one dimensional figure
and
the one dimensional figure
2 is
equal
to
closed line segment
and the
size
of
the geometric figure
is
the one dimensional figure
2 and
the circle
is
equal
to
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
(=>
(
parallel
?LINE1 ?LINE2)
(
not
(
exists
(?POINT)
(
pointOfIntersection
?LINE1 ?LINE2 ?POINT))))
Merge.kif 18027-18031
If
an one dimensional figure
is a
parallel
of
another one dimensional figure
,
then there doesn't exist
a geometric point
such that
the other one dimensional figure
is
point
of intersection
the one dimensional figure
for
the 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