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 14224-14226
(domain geographicSubregion 1 GeographicArea) Merge.kif 14222-14222 The number 1 argument of geographicSubregion is an instance of geographic area
(domain geographicSubregion 2 GeographicArea) Merge.kif 14223-14223 The number 2 argument of geographicSubregion is an instance of geographic area
(instance geographicSubregion AsymmetricRelation) Merge.kif 14219-14219 geographicSubregion is an instance of asymmetric relation
(instance geographicSubregion BinaryPredicate) Merge.kif 14217-14217 geographicSubregion is an instance of binary predicate
(instance geographicSubregion TransitiveRelation) Merge.kif 14218-14218 geographicSubregion is an instance of transitive relation
(subrelation geographicSubregion located) Merge.kif 14221-14221 geographicSubregion is a subrelation of located
(subrelation geographicSubregion properPart) Merge.kif 14220-14220 geographicSubregion is a subrelation of 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 14264-14264 geopoliticalSubdivision is a subrelation of geographicSubregion
(termFormat ChineseLanguage geographicSubregion "地理分区域") domainEnglishFormat.kif 25786-25786 geopoliticalSubdivision is a subrelation of geographicSubregion
(termFormat ChineseTraditionalLanguage geographicSubregion "地理分區域") domainEnglishFormat.kif 25785-25785 geopoliticalSubdivision is a subrelation of geographicSubregion
(termFormat EnglishLanguage geographicSubregion "geographic subregion") domainEnglishFormat.kif 25784-25784 geopoliticalSubdivision is a subrelation of geographicSubregion

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 3432-3443
(=>
    (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 3408-3422
(=>
    (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 ?REGION GeographicArea)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicEastFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1805-1810
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (not
        (overlapsSpatially
            (GeographicEastFn ?REGION)
            (GeographicWestFn ?REGION))))		 Geography.kif 1797-1803
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (orientation
        (GeographicEastFn ?REGION)
        (GeographicWestFn ?REGION) East))		 Geography.kif 1790-1795
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicNorthFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1736-1741
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicNorthFn ?REGION)
        (GeographicEastFn ?REGION)))		 Geography.kif 1722-1727
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION))
    (not
        (overlapsSpatially
            (GeographicNorthFn ?REGION)
            (GeographicSouthFn ?REGION))))		 Geography.kif 1714-1720
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION))
    (orientation
        (GeographicNorthFn ?REGION)
        (GeographicSouthFn ?REGION) North))		 Geography.kif 1707-1712
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicNorthFn ?REGION)
        (GeographicWestFn ?REGION)))		 Geography.kif 1729-1734
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicSouthFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1774-1779
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicSouthFn ?REGION)
        (GeographicEastFn ?REGION)))		 Geography.kif 1760-1765
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION))
    (orientation
        (GeographicSouthFn ?REGION)
        (GeographicNorthFn ?REGION) South))		 Geography.kif 1753-1758
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicSouthFn ?REGION)
        (GeographicWestFn ?REGION)))		 Geography.kif 1767-1772
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicWestFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1828-1833
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION))
    (orientation
        (GeographicWestFn ?REGION)
        (GeographicEastFn ?REGION) West))		 Geography.kif 1821-1826
(=>
    (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 6995-7010
(=>
    (and
        (instance ?W InteriorChinookWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A WesternNorthAmerica)
        (instance ?M MountainRange))
    (orientation ?A ?M East))		 Weather.kif 2175-2181
(=>
    (and
        (instance ?W PuelcheWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A Chile)
        (orientation ?A SantiagoChile South))
    (holdsDuring
        (WhenFn ?W)
        (surfaceWindDirection ?A East)))		 Weather.kif 2232-2240
(=>
    (and
        (instance ?W ZondaWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A Argentina))
    (orientation ?A AndesMountains East))		 Weather.kif 2219-2224
(=>
    (and
        (locatedAtTime ?OBJ ?TIME ?PLACE)
        (geographicSubregion ?PLACE ?REGION))
    (locatedAtTime ?OBJ ?TIME ?REGION))		 Mid-level-ontology.kif 25019-25023
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (geographicSubregion ?AREA ?COUNTRY)
        (instance ?COUNTRY Nation))
    (naturalHazardTypeInArea ?COUNTRY ?TYPE))		 Geography.kif 3732-3737
(=>
    (and
        (partlyLocated ?PLACE ?SUBAREA)
        (instance ?SUBAREA GeographicArea)
        (geographicSubregion ?SUBAREA ?AREA))
    (partlyLocated ?PLACE ?AREA))		 Geography.kif 1987-1992
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))		 Mid-level-ontology.kif 26375-26380

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 3560-3574
(=>
    (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 3432-3443
(=>
    (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 3408-3422
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))		 Geography.kif 1973-1978
(=>
    (and
        (instance ?E ElNinoSouthernOscillation)
        (origin ?E ?R))
    (and
        (located ?R Tropics)
        (geographicSubregion ?R PacificOcean)))		 Weather.kif 521-527
(=>
    (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 2550-2564
(=>
    (and
        (instance ?REGION GeographicArea)
        (instance
            (GeographicCenterFn ?REGION) GeographicArea))
    (geographicSubregion
        (GeographicCenterFn ?REGION) ?REGION))		 Geography.kif 1684-1688
(=>
    (and
        (instance ?W Mistral)
        (eventLocated ?W ?A)
        (instance ?A GeographicArea)
        (origin ?W SouthernFrance)
        (destination ?W GulfOfLion))
    (and
        (geographicSubregion ?A MediterraneanRegion)
        (orientation ?A MediterraneanSea North)
        (geographicSubregion ?A SoutheasternEurope)))		 Weather.kif 2099-2109
(=>
    (and
        (instance ?W Pampero)
        (eventLocated ?W ?A)
        (instance ?A Pampa))
    (or
        (geographicSubregion ?A Argentina)
        (geographicSubregion ?A Brazil)
        (geographicSubregion ?A Bolivia)
        (geographicSubregion ?A Paraguay)
        (geographicSubregion ?A Uruguay)))		 Weather.kif 2251-2261
(=>
    (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 3707-3717
(=>
    (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 3646-3664
(=>
    (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 3606-3620
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))		 Geography.kif 4983-4985
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))		 Geography.kif 4936-4938
(=>
    (instance ?AREA PostcodeArea)
    (exists (?GEO)
        (geographicSubregion ?AREA ?GEO)))		 Mid-level-ontology.kif 26428-26431
(=>
    (instance ?PLACE Neighborhood)
    (exists (?AREA)
        (geographicSubregion ?PLACE ?AREA)))		 Mid-level-ontology.kif 26316-26319
(=>
    (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 1060-1066
(=>
    (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 6963-6971

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


(geographicSubregion AdanaTurkey Turkey) CountriesAndRegions.kif 2500-2500 geographicSubregion AdanaTurkey and Turkey
(geographicSubregion AddisAbabaEthiopia Ethiopia) CountriesAndRegions.kif 2502-2502 geographicSubregion AddisAbabaEthiopia and Ethiopia
(geographicSubregion AdenYemen Yemen) CountriesAndRegions.kif 2504-2504 geographicSubregion AdenYemen and Yemen
(geographicSubregion AdoraWestBank WestBank) CountriesAndRegions.kif 2506-2506 geographicSubregion AdoraWestBank and WestBank
(geographicSubregion Afghanistan SouthernAsia) CountriesAndRegions.kif 567-567 geographicSubregion Afghanistan and SouthernAsia
(geographicSubregion Africa EasternHemisphere) Geography.kif 4993-4993 geographicSubregion Africa and EasternHemisphere
(geographicSubregion AfulaIsrael Israel) CountriesAndRegions.kif 2508-2508 geographicSubregion AfulaIsrael and Israel
(geographicSubregion AgriTurkey Turkey) CountriesAndRegions.kif 2510-2510 geographicSubregion AgriTurkey and Turkey
(geographicSubregion AinDeflaAlgeria Algeria) CountriesAndRegions.kif 2512-2512 geographicSubregion AinDeflaAlgeria and Algeria
(geographicSubregion AinElHajarAlgeria Algeria) CountriesAndRegions.kif 2514-2514 geographicSubregion AinElHajarAlgeria and Algeria
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2516-2516 geographicSubregion AjaccioFrance and France
(geographicSubregion AlBalamandLebanon Lebanon) CountriesAndRegions.kif 2518-2518 geographicSubregion AlBalamandLebanon and Lebanon
(geographicSubregion Alaska WesternNorthAmerica) Geography.kif 1501-1501 geographicSubregion Alaska and WesternNorthAmerica
(geographicSubregion Albania SoutheasternEurope) CountriesAndRegions.kif 370-370 geographicSubregion Albania and SoutheasternEurope
(geographicSubregion AleiSinaiGazaStrip GazaStrip) CountriesAndRegions.kif 2520-2520 geographicSubregion AleiSinaiGazaStrip and GazaStrip
(geographicSubregion AleiZahavWestBank WestBank) CountriesAndRegions.kif 2522-2522 geographicSubregion AleiZahavWestBank and WestBank
(geographicSubregion AleyLebanon Lebanon) CountriesAndRegions.kif 2524-2524 geographicSubregion AleyLebanon and Lebanon
(geographicSubregion Algeria NorthernAfrica) CountriesAndRegions.kif 116-116 geographicSubregion Algeria and NorthernAfrica
(geographicSubregion AlgiersAlgeria Algeria) CountriesAndRegions.kif 2526-2526 geographicSubregion AlgiersAlgeria and Algeria
(geographicSubregion AlkhanYurtRussia Russia) CountriesAndRegions.kif 2528-2528 geographicSubregion AlkhanYurtRussia and Russia
(geographicSubregion AlonMorehWestBank WestBank) CountriesAndRegions.kif 2530-2530 geographicSubregion AlonMorehWestBank and WestBank
(geographicSubregion AmbonIndonesia Indonesia) CountriesAndRegions.kif 2532-2532 geographicSubregion AmbonIndonesia and Indonesia
(geographicSubregion AmericanSamoa Oceania) CountriesAndRegions.kif 659-659 geographicSubregion AmericanSamoa and Oceania
(geographicSubregion AmmanJordan Jordan) CountriesAndRegions.kif 2534-2534 geographicSubregion AmmanJordan and Jordan
(geographicSubregion AnNuwaydiratBahrain Bahrain) CountriesAndRegions.kif 2536-2536 geographicSubregion AnNuwaydiratBahrain and Bahrain

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