GeographicArea
(geographic area)
(=>
(
instance
?X
Kidnapping
)
(
exists
(?A ?LOC1 ?LOC2)
(
and
(
instance
?A
SentientAgent
)
(
instance
?LOC1
GeographicArea
)
(
instance
?LOC2
GeographicArea
)
(
not
(
equal
?LOC1 ?LOC2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
located
?A ?LOC1))
(
holdsDuring
(
WhenFn
?X)
(
located
?A ?LOC2)))))
Mid-level-ontology.kif 21960-21975
If
a physical
is an
instance
of
kidnapping
,
then there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
sentient agent
and
the other entity
is an
instance
of
geographic area
and
the third entity
is an
instance
of
geographic area
and
the other entity
is not
equal
to
the third entity
and
the entity
is
located
at
the other entity
holds
during
immediately
before
the
time
of existence of
the physical
and
the entity
is
located
at
the third entity
holds
during
the
time
of existence of
the physical
(=>
(
instance
?X
LandVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?SURF))))))
Mid-level-ontology.kif 3472-3481
If
a physical
is an
instance
of
land vehicle
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is a
surface
of
geographic area
and
the entity
is an
instance
of
transportation
and
the physical
meet
s
the other entity
holds
during
the
time
of existence of
the entity
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
If
an object
is an
instance
of
subway
,
then there exists
a self connected object
such that
the self connected object
is a
surface
of
geographic area
and
the object
is
below
to
the self connected object
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
If
a terrain attribute
is a
terrain
in area of
a geographic area
,
then there exists
an object
such that
the object
is an
instance
of
geographic area
and
the terrain attribute
is an
attribute
of
the object
and
the object
is
partly
located in
the geographic area
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