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 13908-13910
(domain geographicSubregion 1 GeographicArea) Merge.kif 13906-13906 domain geographicSubregion, 1 and GeographicArea
(domain geographicSubregion 2 GeographicArea) Merge.kif 13907-13907 domain geographicSubregion, 2 and GeographicArea
(instance geographicSubregion AsymmetricRelation) Merge.kif 13903-13903 instance geographicSubregion and AsymmetricRelation
(instance geographicSubregion BinaryPredicate) Merge.kif 13901-13901 instance geographicSubregion and BinaryPredicate
(instance geographicSubregion TransitiveRelation) Merge.kif 13902-13902 instance geographicSubregion and TransitiveRelation
(subrelation geographicSubregion located) Merge.kif 13905-13905 subrelation geographicSubregion and located
(subrelation geographicSubregion properPart) Merge.kif 13904-13904 subrelation geographicSubregion and properPart

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 13948-13948 subrelation geopoliticalSubdivision and geographicSubregion
(termFormat ChineseLanguage geographicSubregion "地理分区域") domainEnglishFormat.kif 25762-25762
(termFormat ChineseTraditionalLanguage geographicSubregion "地理分區域") domainEnglishFormat.kif 25761-25761
(termFormat EnglishLanguage geographicSubregion "geographic subregion") domainEnglishFormat.kif 25760-25760

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationHighPointFn ?AREA) ?AREA)
        (elevation
            (ElevationHighPointFn ?AREA)
            (MeasureFn ?ELEV1 ?UNIT)))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER
                    (MeasureFn ?ELEV2 ?UNIT))
                (greaterThan ?ELEV2 ?ELEV1)))))		 Geography.kif 1969-1980
(=>
    (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 1945-1959
(=>
    (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 5289-5304
(=>
    (and
        (locatedAtTime ?OBJ ?TIME ?PLACE)
        (geographicSubregion ?PLACE ?REGION))
    (locatedAtTime ?OBJ ?TIME ?REGION))		 Mid-level-ontology.kif 23337-23341
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (geographicSubregion ?AREA ?COUNTRY)
        (instance ?COUNTRY Nation))
    (naturalHazardTypeInArea ?COUNTRY ?TYPE))		 Geography.kif 2269-2274
(=>
    (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 24613-24618
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))		 Mid-level-ontology.kif 24620-24627
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))		 Mid-level-ontology.kif 24574-24579
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 24581-24586
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))		 Mid-level-ontology.kif 24688-24693
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24695-24700

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


(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.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 2097-2111
(=>
    (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)
            (MeasureFn ?ELEV1 ?UNIT)))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER
                    (MeasureFn ?ELEV2 ?UNIT))
                (greaterThan ?ELEV2 ?ELEV1)))))		 Geography.kif 1969-1980
(=>
    (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 1945-1959
(=>
    (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 2516-2530
(=>
    (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 2244-2254
(=>
    (and
        (otherLandUseArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.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 2183-2201
(=>
    (and
        (permanentCropLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.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 2143-2157
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))		 Geography.kif 3448-3450
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))		 Geography.kif 3401-3403
(=>
    (instance ?AREA PostcodeArea)
    (exists (?GEO)
        (geographicSubregion ?AREA ?GEO)))		 Mid-level-ontology.kif 24666-24669
(=>
    (instance ?PLACE Neighborhood)
    (exists (?AREA)
        (geographicSubregion ?PLACE ?AREA)))		 Mid-level-ontology.kif 24554-24557
(=>
    (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 5257-5265

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


(geographicSubregion AdanaTurkey Turkey) CountriesAndRegions.kif 2494-2494 geographicSubregion AdanaTurkey and Turkey
(geographicSubregion AddisAbabaEthiopia Ethiopia) CountriesAndRegions.kif 2496-2496 geographicSubregion AddisAbabaEthiopia and Ethiopia
(geographicSubregion AdenYemen Yemen) CountriesAndRegions.kif 2498-2498 geographicSubregion AdenYemen and Yemen
(geographicSubregion AdoraWestBank WestBank) CountriesAndRegions.kif 2500-2500 geographicSubregion AdoraWestBank and WestBank
(geographicSubregion Afghanistan SouthernAsia) CountriesAndRegions.kif 567-567 geographicSubregion Afghanistan and SouthernAsia
(geographicSubregion Africa EasternHemisphere) Geography.kif 3458-3458 geographicSubregion Africa and EasternHemisphere
(geographicSubregion AfulaIsrael Israel) CountriesAndRegions.kif 2502-2502 geographicSubregion AfulaIsrael and Israel
(geographicSubregion AgriTurkey Turkey) CountriesAndRegions.kif 2504-2504 geographicSubregion AgriTurkey and Turkey
(geographicSubregion AinDeflaAlgeria Algeria) CountriesAndRegions.kif 2506-2506 geographicSubregion AinDeflaAlgeria and Algeria
(geographicSubregion AinElHajarAlgeria Algeria) CountriesAndRegions.kif 2508-2508 geographicSubregion AinElHajarAlgeria and Algeria
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2510-2510 geographicSubregion AjaccioFrance and France
(geographicSubregion AlBalamandLebanon Lebanon) CountriesAndRegions.kif 2512-2512 geographicSubregion AlBalamandLebanon and Lebanon
(geographicSubregion Albania SoutheasternEurope) CountriesAndRegions.kif 370-370 geographicSubregion Albania and SoutheasternEurope
(geographicSubregion AleiSinaiGazaStrip GazaStrip) CountriesAndRegions.kif 2514-2514 geographicSubregion AleiSinaiGazaStrip and GazaStrip
(geographicSubregion AleiZahavWestBank WestBank) CountriesAndRegions.kif 2516-2516 geographicSubregion AleiZahavWestBank and WestBank
(geographicSubregion AleyLebanon Lebanon) CountriesAndRegions.kif 2518-2518 geographicSubregion AleyLebanon and Lebanon
(geographicSubregion Algeria NorthernAfrica) CountriesAndRegions.kif 116-116 geographicSubregion Algeria and NorthernAfrica
(geographicSubregion AlgiersAlgeria Algeria) CountriesAndRegions.kif 2520-2520 geographicSubregion AlgiersAlgeria and Algeria
(geographicSubregion AlkhanYurtRussia Russia) CountriesAndRegions.kif 2522-2522 geographicSubregion AlkhanYurtRussia and Russia
(geographicSubregion AlonMorehWestBank WestBank) CountriesAndRegions.kif 2524-2524 geographicSubregion AlonMorehWestBank and WestBank
(geographicSubregion AmbonIndonesia Indonesia) CountriesAndRegions.kif 2526-2526 geographicSubregion AmbonIndonesia and Indonesia
(geographicSubregion AmericanSamoa Oceania) CountriesAndRegions.kif 659-659 geographicSubregion AmericanSamoa and Oceania
(geographicSubregion AmmanJordan Jordan) CountriesAndRegions.kif 2528-2528 geographicSubregion AmmanJordan and Jordan
(geographicSubregion AnNuwaydiratBahrain Bahrain) CountriesAndRegions.kif 2530-2530 geographicSubregion AnNuwaydiratBahrain and Bahrain
(geographicSubregion AndeanSpain Spain) CountriesAndRegions.kif 2532-2532 geographicSubregion AndeanSpain and 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