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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14049-14051
(domain geographicSubregion 1 GeographicArea) Merge.kif 14047-14047 域 地理分區域, 1 and GeographicArea
(domain geographicSubregion 2 GeographicArea) Merge.kif 14048-14048 域 地理分區域, 2 and GeographicArea
(instance geographicSubregion AsymmetricRelation) Merge.kif 14044-14044 例 地理分區域 and AsymmetricRelation
(instance geographicSubregion BinaryPredicate) Merge.kif 14042-14042 例 地理分區域 and BinaryPredicate
(instance geographicSubregion TransitiveRelation) Merge.kif 14043-14043 例 地理分區域 and TransitiveRelation
(subrelation geographicSubregion located) Merge.kif 14046-14046 子關係 地理分區域 and 位於
(subrelation geographicSubregion properPart) Merge.kif 14045-14045 子關係 地理分區域 and 適當的部分

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 14089-14089 子關係 地緣政治細分 and 地理分區域
(termFormat ChineseLanguage geographicSubregion "地理分区域") domainEnglishFormat.kif 25776-25776
(termFormat ChineseTraditionalLanguage geographicSubregion "地理分區域") domainEnglishFormat.kif 25775-25775
(termFormat EnglishLanguage geographicSubregion "geographic subregion") domainEnglishFormat.kif 25774-25774

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 1964-1975
(=>
    (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 1940-1954
(=>
    (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 5380-5395
(=>
    (and
        (locatedAtTime ?OBJ ?TIME ?PLACE)
        (geographicSubregion ?PLACE ?REGION))
    (locatedAtTime ?OBJ ?TIME ?REGION))		 Mid-level-ontology.kif 23387-23391
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (geographicSubregion ?AREA ?COUNTRY)
        (instance ?COUNTRY Nation))
    (naturalHazardTypeInArea ?COUNTRY ?TYPE))		 Geography.kif 2264-2269
(=>
    (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 24722-24727
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))		 Mid-level-ontology.kif 24729-24736
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))		 Mid-level-ontology.kif 24683-24688
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 24690-24695
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))		 Mid-level-ontology.kif 24797-24802
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24804-24809

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 2092-2106
(=>
    (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 1964-1975
(=>
    (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 1940-1954
(=>
    (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 2239-2249
(=>
    (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 2178-2196
(=>
    (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 2138-2152
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))		 Geography.kif 3515-3517
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))		 Geography.kif 3468-3470
(=>
    (instance ?AREA PostcodeArea)
    (exists (?GEO)
        (geographicSubregion ?AREA ?GEO)))		 Mid-level-ontology.kif 24775-24778
(=>
    (instance ?PLACE Neighborhood)
    (exists (?AREA)
        (geographicSubregion ?PLACE ?AREA)))		 Mid-level-ontology.kif 24663-24666
(=>
    (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 5348-5356

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


(geographicSubregion AdanaTurkey Turkey) CountriesAndRegions.kif 2494-2494 阿達納土耳其 是 火雞 的 geographic 次要地區
(geographicSubregion AddisAbabaEthiopia Ethiopia) CountriesAndRegions.kif 2496-2496 亞的斯亞貝巴埃塞俄比亞 是 埃塞俄比亞 的 geographic 次要地區
(geographicSubregion AdenYemen Yemen) CountriesAndRegions.kif 2498-2498 腺也門 是 葉門 的 geographic 次要地區
(geographicSubregion AdoraWestBank WestBank) CountriesAndRegions.kif 2500-2500 阿多拉西岸 是 西方銀行 的 geographic 次要地區
(geographicSubregion Afghanistan SouthernAsia) CountriesAndRegions.kif 567-567 阿富汗 是 南亞 的 geographic 次要地區
(geographicSubregion Africa EasternHemisphere) Geography.kif 3525-3525 非洲 是 東半球 的 geographic 次要地區
(geographicSubregion AfulaIsrael Israel) CountriesAndRegions.kif 2502-2502 阿富拉以色列 是 以色列 的 geographic 次要地區
(geographicSubregion AgriTurkey Turkey) CountriesAndRegions.kif 2504-2504 阿格里土耳其 是 火雞 的 geographic 次要地區
(geographicSubregion AinDeflaAlgeria Algeria) CountriesAndRegions.kif 2506-2506 Ain defla 阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區
(geographicSubregion AinElHajarAlgeria Algeria) CountriesAndRegions.kif 2508-2508 Ain el hajar 阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2510-2510 Ajaccio 法國 是 法國 的 geographic 次要地區
(geographicSubregion AlBalamandLebanon Lebanon) CountriesAndRegions.kif 2512-2512 Al balamand 黎巴嫩 是 黎巴嫩 的 geographic 次要地區
(geographicSubregion Albania SoutheasternEurope) CountriesAndRegions.kif 370-370 阿爾巴尼亞 是 東南歐 的 geographic 次要地區
(geographicSubregion AleiSinaiGazaStrip GazaStrip) CountriesAndRegions.kif 2514-2514 Alei sinai 加沙地帶 是 加沙地帶 的 geographic 次要地區
(geographicSubregion AleiZahavWestBank WestBank) CountriesAndRegions.kif 2516-2516 Alei zahav 西方銀行 是 西方銀行 的 geographic 次要地區
(geographicSubregion AleyLebanon Lebanon) CountriesAndRegions.kif 2518-2518 阿萊黎巴嫩 是 黎巴嫩 的 geographic 次要地區
(geographicSubregion Algeria NorthernAfrica) CountriesAndRegions.kif 116-116 阿爾及利亞 是 北非 的 geographic 次要地區
(geographicSubregion AlgiersAlgeria Algeria) CountriesAndRegions.kif 2520-2520 阿爾及爾，阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區
(geographicSubregion AlkhanYurtRussia Russia) CountriesAndRegions.kif 2522-2522 烷烴蒙古包俄羅斯 是 俄國 的 geographic 次要地區
(geographicSubregion AlonMorehWestBank WestBank) CountriesAndRegions.kif 2524-2524 Alon 是 西方銀行 的 geographic 次要地區
(geographicSubregion AmbonIndonesia Indonesia) CountriesAndRegions.kif 2526-2526 安汶印度尼西亞 是 印度尼西亞 的 geographic 次要地區
(geographicSubregion AmericanSamoa Oceania) CountriesAndRegions.kif 659-659 美國薩摩亞 是 大洋洲 的 geographic 次要地區
(geographicSubregion AmmanJordan Jordan) CountriesAndRegions.kif 2528-2528 安曼，約旦 是 約旦 的 geographic 次要地區
(geographicSubregion AnNuwaydiratBahrain Bahrain) CountriesAndRegions.kif 2530-2530 一個 nuwaydirat 巴林 是 巴林 的 geographic 次要地區
(geographicSubregion AndeanSpain Spain) CountriesAndRegions.kif 2532-2532 安第斯西班牙 是 西班牙 的 geographic 次要地區

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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