GeographicArea
(geographic area)
(=>
(
and
(
instance
?OBJ1
GeographicArea
)
(
instance
?OBJ2
GeographicArea
))
(
equal
(
BorderFn
?OBJ1 ?OBJ2)
(
BorderFn
?OBJ2 ?OBJ1)))
Geography.kif 699-703
If
a geographic area
is an
instance
of
geographic area
and
another geographic area
is an
instance
of
geographic area
,
then the
border
of
the geographic area
and
the other geographic area
is
equal
to the
border
of
the other geographic area
and
the geographic area
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3595-3615
If
an object
is an
instance
of
geographic area
and
the object
is
located
at
another object
and
the other object
is an
instance
of
tropics
,
then there exist
a real number
,
a longitude
,, ,
a directional attribute
,, ,
another real number
and
an unit of measure
such that
the object
is
object
geographic coordinates
the real number
the unit of measure
(s) for
the longitude
and
the unit of measure
is an
instance
of
unit of angular measure
and
the real number
is
less
than
the other real number
and
the other real number
the unit of measure
(s) is
equal
to the
region
the directional attribute
of 23.0
angular degree
(s) and
the directional attribute
is an
instance
of
directional attribute
and
the directional attribute
is
equal
to
north
or
the directional attribute
is
equal
to
south
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
If
a geographic area
is an
instance
of
geographic area
and the
geographic
center of
the geographic area
is an
instance
of
geographic area
,
then the
geographic
center of
the geographic area
is a
geographic
subregion of
the geographic area
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
If
a physical
is an
instance
of
geographic area
and
the physical
is
located
at
antarctic area
,
then there exists
a time position
such that
the time position
is an
instance
of
day
and
illuminated
is not an
attribute
of
the physical
holds
during
the time position
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
If
a physical
is an
instance
of
geographic area
and
the physical
is
located
at
arctic region
,
then there exists
a time position
such that
the time position
is an
instance
of
day
and
illuminated
is not an
attribute
of
the physical
holds
during
the time position
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
If
a geographic area
is an
instance
of
geographic area
and the
geographic
center of
the geographic area
is
object
geographic coordinates
a latitude
for
a longitude
,
then
the geographic area
is
object
geographic coordinates
the latitude
for
the longitude
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
If
a process
is an
instance
of
typhoon
and
the process
is
located
at
an object
and
the object
is an
instance
of
geographic area
,
then
the object
is
located
at
Northwestern Pacific Ocean
or
the object
meet
s
Northwestern Pacific Ocean
(=>
(
and
(
instance
?TC
TropicalCyclone
)
(
destination
?TC ?DEST)
(
instance
?DEST
GeographicArea
))
(
not
(
exists
(?L ?SL ?X)
(
and
(
instance
?L
LandArea
)
(
instance
?SL
Shoreline
)
(
located
?DEST ?L)
(
distance
?L ?SL
(
MeasureFn
?X
Mile
))
(
greaterThan
?X 200.0)))))
Weather.kif 693-706
If
a process
is an
instance
of
tropical cyclone
and
the process
end
s up at
a physical
and
the physical
is an
instance
of
geographic area
,
then there don't exist
an object
,
another physical
and
a real number
such that
the object
is an
instance
of
land area
and
the other physical
is an
instance
of
shoreline
and
the physical
is
located
at
the object
and the
distance
between
the object
and
the other physical
is
the real number
mile
(s) and
the real number
is
greater
than 200.0
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Loam
))
(
attribute
?area
FertileTerrain
))
Geography.kif 4355-4359
If
a land area
is an
instance
of
geographic area
and
loam
is a
ground
surface type of
the land area
,
then
fertile terrain
is an
attribute
of
the land area
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
If
a land area
is an
instance
of
geographic area
and
rock
is a
ground
surface type of
the land area
,
then
fertile terrain
is not an
attribute
of
the land area
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
If not
a kind of plant
is
found
in
a geographic area
and
a kind of plant
is a
subclass
of
plant
and
the geographic area
is an
instance
of
geographic area
,
then there doesn't exist
a physical
such that
the physical
is an
instance
of
the kind of plant
and
the physical
is
located
at
the geographic area
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
If
a physical
is
partly
located in
a geographic area
and
the geographic area
is an
instance
of
geographic area
and
the geographic area
is a
geographic
subregion of
another geographic area
,
then
the physical
is
partly
located in
the other geographic area
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
If
a kind of process
is a
subclass
of
process
and
another process
is an
instance
of
a kind of process
and
the other process
is
located
at
a region
and
a case role
is an
instance
of
case role
and
an object
is an
instance
of
object
and
the region
is an
instance
of
geographic area
and
the case role
the other process
and
the object
,
then
the kind of process
capable
at location
the case role
for
the object
with
the region
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
If
a kind of plant
is
found
in
a geographic area
and
a kind of plant
is a
subclass
of
plant
and
the geographic area
is an
instance
of
geographic area
,
then there exists
a physical
such that
the physical
is an
instance
of
the kind of plant
and
the physical
is
located
at
the geographic area
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
If the
border
of
a geographic area
and
another geographic area
is an
instance
of
geographic area
,
then
the geographic area
meet
s
the other geographic area
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
If the
border
of
a geographic area
and
another geographic area
is an
instance
of
geographic area
,
then
the geographic area
is
adjacent
to
the other 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