Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  pointOfIntersection
pointOfIntersection
appearance as argument number 1
(
documentation
pointOfIntersection
ChineseLanguage
"(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)的意思是两条直线 ?FIGURE1 和 ?FIGURE2 在 ?POINT 点相遇。")
Merge.kif 1832018320
(
documentation
pointOfIntersection
EnglishLanguage
"(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.")
Merge.kif 1831818319
(
domain
pointOfIntersection
1
OneDimensionalFigure
)
Merge.kif 1831518315
The number 1 argument of
point of intersection
is an
instance
of
one dimensional figure
(
domain
pointOfIntersection
2
OneDimensionalFigure
)
Merge.kif 1831618316
The number 2 argument of
point of intersection
is an
instance
of
one dimensional figure
(
domain
pointOfIntersection
3
GeometricPoint
)
Merge.kif 1831718317
The number 3 argument of
point of intersection
is an
instance
of
geometric point
(
instance
pointOfIntersection
TernaryPredicate
)
Merge.kif 1831418314
point of intersection
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
EnglishLanguage
pointOfIntersection
"%1 %n{doesn't} point of intersection %2 for %3")
domainEnglishFormat.kif 502502
(
termFormat
EnglishLanguage
pointOfIntersection
"point of intersection")
domainEnglishFormat.kif 81498149
"point of intersection" is the
printable
form
of
point of intersection
in
english language
antecedent
(=>
(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)
(
and
(
pointOfFigure
?POINT ?FIGURE1)
(
pointOfFigure
?POINT ?FIGURE2)))
Merge.kif 1832218326
If
an one dimensional figure
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
(=>
(
instance
?X
FourPosterBed
)
(
exists
(?SHAPE)
(
and
(
attribute
?X ?SHAPE)
(
instance
?SHAPE
Quadrilateral
)
(
forall
(?CORNER)
(=>
(
and
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR)
(
and
(
meetsSpatially
?CORNER ?POST)
(
instance
?POST
Artifact
)
(
instance
?FLOOR
Floor
)
(
orientation
?BED ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
))))))))
Midlevelontology.kif 45504569
If
an object
is an
instance
of
fourposter bed
,
then there exists
a geometric figure
such that
the geometric figure
is an
attribute
of
the object
and
the geometric figure
is an
instance
of
quadrilateral
and for all
a geometric point
if
an one dimensional figure
point
of intersection
another one dimensional figure
for
the geometric point
and the
size
of
the geometric figure
is
the one dimensional figure
and the
size
of
the geometric figure
is
the other one dimensional figure
and
the one dimensional figure
is not
equal
to
the other one dimensional figure
,
then there exist
another object
and
a third object
such that
the geometric point
meet
s
the other object
and
the other object
is an
instance
of
artifact
and
the third object
is an
instance
of
floor
and
a fourth object
is
on
to
the third object
and
the other object
is
vertical
to
the third object
(=>
(
parallel
?LINE1 ?LINE2)
(
not
(
exists
(?POINT)
(
pointOfIntersection
?LINE1 ?LINE2 ?POINT))))
Merge.kif 1833718341
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
point
of intersection
the one dimensional figure
for
the geometric point
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners