GeographicArea(geographic area)

-------------------------


(=>
    (and
        (instance ?OBJ1 GeographicArea)
        (instance ?OBJ2 GeographicArea))
    (equal
        (BorderFn ?OBJ1 ?OBJ2)
        (BorderFn ?OBJ2 ?OBJ1)))
Geography.kif 699-703
(=>
    (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
(=>
    (and
        (instance ?REGION GeographicArea)
        (instance
            (GeographicCenterFn ?REGION) GeographicArea))
    (geographicSubregion
        (GeographicCenterFn ?REGION) ?REGION))
Geography.kif 342-346
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3631-3640
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3570-3579
(=>
    (and
        (instance ?REGION GeographicArea)
        (objectGeographicCoordinates
            (GeographicCenterFn ?REGION) ?LAT ?LONG))
    (objectGeographicCoordinates ?REGION ?LAT ?LONG))
Geography.kif 348-353
(=>
    (and
        (instance ?T Typhoon)
        (eventLocated ?T ?P)
        (instance ?P GeographicArea))
    (or
        (located ?P NorthwesternPacificOcean)
        (meetsSpatially ?P NorthwesternPacificOcean)))
Weather.kif 787-794
(=>
    (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
(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Loam))
    (attribute ?area FertileTerrain))
Geography.kif 4355-4359
(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))
Geography.kif 1824-1828
(=>
    (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
(=>
    (and
        (partlyLocated ?PLACE ?SUBAREA)
        (instance ?SUBAREA GeographicArea)
        (geographicSubregion ?SUBAREA ?AREA))
    (partlyLocated ?PLACE ?AREA))
Geography.kif 507-512
(=>
    (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
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 6191-6199
(=>
    (instance
        (BorderFn ?AREA1 ?AREA2) GeographicArea)
    (meetsSpatially ?AREA1 ?AREA2))
Geography.kif 695-697
(=>
    (instance
        (BorderFn ?AREA1 ?AREA2) GeographicArea)
    (orientation ?AREA1 ?AREA2 Adjacent))
Geography.kif 712-714


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