orientation
(=>
(
orientation
?OBJ1 ?OBJ2
On
)
(
connected
?OBJ1 ?OBJ2))
Merge.kif 17146-17148
If
an object
is
on
to
another object
,
then
the object
is
connected
to
the other object
(=>
(
orientation
?OBJ1 ?OBJ2
On
)
(
located
?OBJ1 ?OBJ2))
Merge.kif 17150-17152
If
an object
is
on
to
another object
,
then
the object
is
located
at
the other object
(=>
(
orientation
?OBJ1 ?OBJ2
On
)
(
not
(
orientation
?OBJ2 ?OBJ1
On
)))
Merge.kif 17158-17161
If
an object
is
on
to
another object
,
then
the other object
is not
on
to
the object
(=>
(
orientation
?OBJ1 ?OBJ2
Surrounded
)
(
forall
(?X)
(=>
(
side
?X ?OBJ1)
(
meetsSpatially
?X ?OBJ2))))
Mid-level-ontology.kif 26009-26014
If
a self connected object
is
surrounded
to
an object
,
then for all
another self connected object
if a
side
of
the self connected object
is
the other self connected object
,
then
the other self connected object
meet
s
the object
(=>
(
orientation
?OBJ1 ?OBJ2
Upstairs
)
(
exists
(?LEVEL1 ?LEVEL2 ?BUILDING)
(
and
(
instance
?LEVEL1
BuildingLevel
)
(
instance
?LEVEL2
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL1 ?BUILDING)
(
part
?LEVEL2 ?BUILDING)
(
located
?OBJ1 ?LEVEL1)
(
located
?OBJ2 ?LEVEL2)
(
orientation
?LEVEL1 ?LEVEL2
Above
))))
Mid-level-ontology.kif 19220-19231
If
an object
is
upstairs
to
another object
,
then there exist
a third object
,
a fourth object
and
a fifth object
such that
the third object
is an
instance
of
building level
and
the fourth object
is an
instance
of
building level
and
the fifth object
is an
instance
of
building
and
the third object
is a
part
of
the fifth object
and
the fourth object
is a
part
of
the fifth object
and
the object
is
located
at
the third object
and
the other object
is
located
at
the fourth object
and
the third object
is
above
to
the fourth object
(=>
(
orientation
?ONE ?TWO
Adjacent
)
(
orientation
?TWO ?ONE
Adjacent
))
Geography.kif 716-718
If
an object
is
adjacent
to
another object
,
then
the other object
is
adjacent
to
the object
(=>
(
orientation
?ONE ?TWO
Near
)
(
orientation
?TWO ?ONE
Near
))
Geography.kif 720-722
If
an object
is
near
to
another object
,
then
the other object
is
near
to
the object
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