Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  geographicSubregion

Sigma KEE - geographicSubregion
geographicSubregion

appearance as argument number 1
-------------------------


(documentation geographicSubregion ChineseLanguage "(geographicSubregion ?PART ?WHOLE)的 意思是 GeographicArea ?PART 是 GeographicArea ?WHOLE 的一部分。") chinese_format.kif 1438-1439
(documentation geographicSubregion EnglishLanguage "(geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE.") Merge.kif 13460-13462
(domain geographicSubregion 1 GeographicArea) Merge.kif 13458-13458 The number 1 argument of geographic subregion is an instance of geographic area
(domain geographicSubregion 2 GeographicArea) Merge.kif 13459-13459 The number 2 argument of geographic subregion is an instance of geographic area
(instance geographicSubregion AsymmetricRelation) Merge.kif 13455-13455 geographic subregion is an instance of asymmetric relation
(instance geographicSubregion BinaryPredicate) Merge.kif 13453-13453 geographic subregion is an instance of binary predicate
(instance geographicSubregion TransitiveRelation) Merge.kif 13454-13454 geographic subregion is an instance of transitive relation
(subrelation geographicSubregion located) Merge.kif 13457-13457 geographic subregion is a subrelation of located
(subrelation geographicSubregion properPart) Merge.kif 13456-13456 geographic subregion is a subrelation of proper part

appearance as argument number 2
-------------------------


(format ChineseLanguage geographicSubregion "%1 %n 是 %2 的 geographic 次要地区") domainEnglishFormat.kif 1097-1097
(format ChineseTraditionalLanguage geographicSubregion "%1 %n 是 %2 的 geographic 次要地區") domainEnglishFormat.kif 1096-1096
(format EnglishLanguage geographicSubregion "%1 is %n a geographic subregion of %2") domainEnglishFormat.kif 1095-1095
(subrelation geopoliticalSubdivision geographicSubregion) Merge.kif 13500-13500 geopolitical subdivision is a subrelation of geographic subregion
(termFormat ChineseLanguage geographicSubregion "地理分区域") domainEnglishFormat.kif 25767-25767
(termFormat ChineseTraditionalLanguage geographicSubregion "地理分區域") domainEnglishFormat.kif 25766-25766
(termFormat EnglishLanguage geographicSubregion "geographic subregion") domainEnglishFormat.kif 25765-25765

antecedent
-------------------------


(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationHighPointFn ?AREA) ?AREA)
        (elevation
            (ElevationHighPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (greaterThan ?ELEV2 ?ELEV1)))))
Geography.kif 1959-1970
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationLowPointFn ?AREA) ?AREA)
        (instance ?U UnitOfLength)
        (elevation
            (ElevationLowPointFn ?AREA)
            (MeasureFn ?ELEV1 ?U)))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationLowPointFn ?AREA)))
                (elevation ?OTHER
                    (MeasureFn ?ELEV2 ?U))
                (lessThan ?ELEV2 ?ELEV1)))))
Geography.kif 1935-1949
(=>
    (and
        (instance ?NATION Nation)
        (or
            (geographicSubregion ?NATION NorthAmerica)
            (geographicSubregion ?NATION SouthAmerica)
            (geographicSubregion ?NATION WesternEurope)))
    (holdsDuring
        (WhenFn ?NATION)
        (nationalHoliday ?NATION ChristmasDay)))
Media.kif 349-357
(=>
    (and
        (instance ?SYSTEM InlandWaterSystem)
        (instance ?WATER1 WaterArea)
        (instance ?WATER2 WaterArea)
        (not
            (equal ?WATER1 ?WATER2))
        (not
            (connected ?WATER1 ?WATER2))
        (geographicSubregion ?WATER1 ?SYSTEM)
        (geographicSubregion ?WATER2 ?SYSTEM))
    (exists (?WATER3)
        (and
            (instance ?WATER3 WaterArea)
            (not
                (equal ?WATER3 ?WATER1))
            (not
                (equal ?WATER3 ?WATER1))
            (part ?WATER3 ?SYSTEM)
            (connects ?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5189-5204
(=>
    (and
        (locatedAtTime ?OBJ ?TIME ?PLACE)
        (geographicSubregion ?PLACE ?REGION))
    (locatedAtTime ?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 22782-22786
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (geographicSubregion ?AREA ?COUNTRY)
        (instance ?COUNTRY Nation))
    (naturalHazardTypeInArea ?COUNTRY ?TYPE))
Geography.kif 2256-2261
(=>
    (and
        (partlyLocated ?PLACE ?SUBAREA)
        (instance ?SUBAREA GeographicArea)
        (geographicSubregion ?SUBAREA ?AREA))
    (partlyLocated ?PLACE ?AREA))
Geography.kif 507-512
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))
Mid-level-ontology.kif 24044-24049
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 24051-24058
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 24005-24010
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 24012-24017
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 24119-24124
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 24126-24131

consequent
-------------------------


(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?ARABLE)
        (and
            (instance ?ARABLE ArableLand)
            (geographicSubregion ?ARABLE ?REGION)
            (measure ?ARABLE
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2094-2104
(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?PERSON DislocatedCivilian)
                (inhabits ?PERSON ?RESIDENCE)
                (located ?RESIDENCE ?PLACE)))
        (instance ?PLACE GeographicArea)
        (instance ?T1 TimeInterval))
    (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)
        (and
            (instance ?T0 TimeInterval)
            (earlier ?T0 ?T1)
            (instance ?PRIOR-RES Object)
            (instance ?PRIOR-PLACE GeopoliticalArea)
            (located ?PRIOR-RES ?PRIOR-PLACE)
            (not
                (equal ?PLACE ?PRIOR-PLACE))
            (not
                (equal ?RESIDENCE ?PRIOR-RES))
            (not
                (geographicSubregion ?PLACE ?PRIOR-PLACE))
            (not
                (geographicSubregion ?PRIOR-PLACE ?PLACE))
            (holdsDuring ?T0
                (inhabits ?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationHighPointFn ?AREA) ?AREA)
        (elevation
            (ElevationHighPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (greaterThan ?ELEV2 ?ELEV1)))))
Geography.kif 1959-1970
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationLowPointFn ?AREA) ?AREA)
        (instance ?U UnitOfLength)
        (elevation
            (ElevationLowPointFn ?AREA)
            (MeasureFn ?ELEV1 ?U)))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationLowPointFn ?AREA)))
                (elevation ?OTHER
                    (MeasureFn ?ELEV2 ?U))
                (lessThan ?ELEV2 ?ELEV1)))))
Geography.kif 1935-1949
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?OR)
        (agent ?EV ?A))
    (exists (?P)
        (and
            (instance ?P Process)
            (geographicSubregion ?OR
                (WhereFn ?P
                    (BeginFn
                        (WhenFn ?EV))))
            (causes ?P ?EV)
            (believes ?A
                (attribute ?P Dangerous)))))
MilitaryProcesses.kif 2496-2510
(=>
    (and
        (instance ?REGION GeographicArea)
        (instance
            (GeographicCenterFn ?REGION) GeographicArea))
    (geographicSubregion
        (GeographicCenterFn ?REGION) ?REGION))
Geography.kif 342-346
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesFreightTransportation))
    (exists (?FREIGHT ?SHIP ?WATER)
        (and
            (subProcess ?FREIGHT ?X)
            (instance ?FREIGHT WaterTransportation)
            (instrument ?FREIGHT ?SHIP)
            (instance ?SHIP CargoShip)
            (eventLocated ?FREIGHT ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates))))
naics.kif 8184-8197
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesPassengerTransportation))
    (exists (?CRUISE ?SHIP ?WATER)
        (and
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates)
            (not
                (exists (?FERRY)
                    (and
                        (instance ?FERRY ShortSeaPassengerShip)
                        (equal ?SHIP ?FERRY)))))))
naics.kif 8207-8225
(=>
    (and
        (irrigatedLandArea ?REGION
            (MeasureFn ?AMOUNT ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?IRRLAND)
        (and
            (instance ?IRRLAND IrrigatedLand)
            (geographicSubregion ?IRRLAND ?REGION)
            (measure ?IRRLAND
                (MeasureFn ?AMOUNT ?UNIT)))))
Geography.kif 2233-2241
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?OTHER)
        (and
            (instance ?OTHER LandArea)
            (not
                (instance ?OTHER ArableLand))
            (not
                (instance ?OTHER PermanentCropLand))
            (geographicSubregion ?OTHER ?REGION)
            (measure ?OTHER
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2184-2196
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?PERMCROP)
        (and
            (instance ?PERMCROP PermanentCropLand)
            (geographicSubregion ?PERMCROP ?REGION)
            (measure ?PERMCROP
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2142-2152
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3420-3422
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3373-3375
(=>
    (instance ?AREA PostcodeArea)
    (exists (?GEO)
        (geographicSubregion ?AREA ?GEO)))
Mid-level-ontology.kif 24097-24100
(=>
    (instance ?PLACE Neighborhood)
    (exists (?AREA)
        (geographicSubregion ?PLACE ?AREA)))
Mid-level-ontology.kif 23985-23988
(=>
    (instance ?PORT DeepDraftPort)
    (exists (?HARBOR)
        (and
            (instance ?HARBOR DeepDraftHarbor)
            (geographicSubregion ?HARBOR ?PORT))))
Transportation.kif 888-893
(=>
    (instance ?STORM TropicalCyclonicSystem)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (geographicSubregion ?PLACE Tropics)
            (origin ?STORM ?PLACE))))
Weather.kif 619-625
(=>
    (instance ?SYSTEM InlandWaterSystem)
    (exists (?BODY1 ?BODY2)
        (and
            (instance ?BODY1 BodyOfWater)
            (instance ?BODY2 BodyOfWater)
            (not
                (equal ?BODY1 ?BODY2))
            (geographicSubregion ?BODY1 ?SYSTEM)
            (geographicSubregion ?BODY2 ?SYSTEM))))
Geography.kif 5157-5165

appearance as argument number 0
-------------------------


(geographicSubregion AdanaTurkey Turkey) CountriesAndRegions.kif 2494-2494 Adana turkey is a geographic subregion of turkey
(geographicSubregion AddisAbabaEthiopia Ethiopia) CountriesAndRegions.kif 2496-2496 Addis ababa ethiopia is a geographic subregion of ethiopia
(geographicSubregion AdenYemen Yemen) CountriesAndRegions.kif 2498-2498 Aden yemen is a geographic subregion of yemen
(geographicSubregion AdoraWestBank WestBank) CountriesAndRegions.kif 2500-2500 Adora west bank is a geographic subregion of west bank
(geographicSubregion Afghanistan SouthernAsia) CountriesAndRegions.kif 567-567 Afghanistan is a geographic subregion of southern asia
(geographicSubregion Africa EasternHemisphere) Geography.kif 3430-3430 Africa is a geographic subregion of eastern hemisphere
(geographicSubregion AfulaIsrael Israel) CountriesAndRegions.kif 2502-2502 Afula israel is a geographic subregion of israel
(geographicSubregion AgriTurkey Turkey) CountriesAndRegions.kif 2504-2504 Agri turkey is a geographic subregion of turkey
(geographicSubregion AinDeflaAlgeria Algeria) CountriesAndRegions.kif 2506-2506 Ain defla algeria is a geographic subregion of algeria
(geographicSubregion AinElHajarAlgeria Algeria) CountriesAndRegions.kif 2508-2508 Ain el hajar algeria is a geographic subregion of algeria
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2510-2510 Ajaccio france is a geographic subregion of france
(geographicSubregion AlBalamandLebanon Lebanon) CountriesAndRegions.kif 2512-2512 Al balamand lebanon is a geographic subregion of lebanon
(geographicSubregion Albania SoutheasternEurope) CountriesAndRegions.kif 370-370 Albania is a geographic subregion of southeastern europe
(geographicSubregion AleiSinaiGazaStrip GazaStrip) CountriesAndRegions.kif 2514-2514 Alei sinai gaza strip is a geographic subregion of gaza strip
(geographicSubregion AleiZahavWestBank WestBank) CountriesAndRegions.kif 2516-2516 Alei zahav west bank is a geographic subregion of west bank
(geographicSubregion AleyLebanon Lebanon) CountriesAndRegions.kif 2518-2518 Aley lebanon is a geographic subregion of lebanon
(geographicSubregion Algeria NorthernAfrica) CountriesAndRegions.kif 116-116 Algeria is a geographic subregion of northern africa
(geographicSubregion AlgiersAlgeria Algeria) CountriesAndRegions.kif 2520-2520 Algiers algeria is a geographic subregion of algeria
(geographicSubregion AlkhanYurtRussia Russia) CountriesAndRegions.kif 2522-2522 Alkhan yurt russia is a geographic subregion of russia
(geographicSubregion AlonMorehWestBank WestBank) CountriesAndRegions.kif 2524-2524 Alon moreh west bank is a geographic subregion of west bank
(geographicSubregion AmbonIndonesia Indonesia) CountriesAndRegions.kif 2526-2526 Ambon indonesia is a geographic subregion of indonesia
(geographicSubregion AmericanSamoa Oceania) CountriesAndRegions.kif 659-659 American samoa is a geographic subregion of oceania
(geographicSubregion AmmanJordan Jordan) CountriesAndRegions.kif 2528-2528 Amman jordan is a geographic subregion of jordan
(geographicSubregion AnNuwaydiratBahrain Bahrain) CountriesAndRegions.kif 2530-2530 An nuwaydirat bahrain is a geographic subregion of bahrain
(geographicSubregion AndeanSpain Spain) CountriesAndRegions.kif 2532-2532 Andean spain is a geographic subregion of spain

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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