Building
(building)
(=>
(
instance
?X
Patio
)
(
and
(
modalAttribute
(
attribute
?X
Paved
)
Likely
)
(
exists
(?BLDG)
(
and
(
instance
?BLDG
Building
)
(
orientation
?X ?BLDG
Adjacent
)
(
located
?X
Outdoors
)))))
Mid-level-ontology.kif 26639-26648
If
an object
is an
instance
of
patio
,
then the statement
paved
is an
attribute
of
the object
has the
modal
force
of
likely
and there exists
another object
such that
the other object
is an
instance
of
building
and
the object
is
adjacent
to
the other object
and
the object
is
located
at
outdoors
(=>
(
orientation
?OBJ1 ?OBJ2
Downstairs
)
(
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
Below
))))
Mid-level-ontology.kif 19237-19248
If
an object
is
downstairs
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
below
to
the fourth 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
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