geographicSubregion - Sigma Knowledge base Browser

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 14095-14097
(domain geographicSubregion 1 GeographicArea)	Merge.kif 14093-14093	The number 1 argument of geographic subregion is an instance of geographic area
(domain geographicSubregion 2 GeographicArea)	Merge.kif 14094-14094	The number 2 argument of geographic subregion is an instance of geographic area
(instance geographicSubregion AsymmetricRelation)	Merge.kif 14090-14090	geographic subregion is an instance of asymmetric relation
(instance geographicSubregion BinaryPredicate)	Merge.kif 14088-14088	geographic subregion is an instance of binary predicate
(instance geographicSubregion TransitiveRelation)	Merge.kif 14089-14089	geographic subregion is an instance of transitive relation
(subrelation geographicSubregion located)	Merge.kif 14092-14092	geographic subregion is a subrelation of located
(subrelation geographicSubregion properPart)	Merge.kif 14091-14091	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 14135-14135	geopolitical subdivision is a subrelation of geographic subregion
(termFormat ChineseLanguage geographicSubregion "地理分区域")	domainEnglishFormat.kif 25810-25810	geopolitical subdivision is a subrelation of geographic subregion
(termFormat ChineseTraditionalLanguage geographicSubregion "地理分區域")	domainEnglishFormat.kif 25809-25809	geopolitical subdivision is a subrelation of geographic subregion
(termFormat EnglishLanguage geographicSubregion "geographic subregion")	domainEnglishFormat.kif 25808-25808	geopolitical subdivision is a subrelation of geographic subregion

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	If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a real number an unit of measure(s) is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation high point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is greater than the real number
(=> (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	If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation low point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is less than the real number
(=> (and (instance ?NATION Nation) (or (geographicSubregion ?NATION NorthAmerica) (geographicSubregion ?NATION SouthAmerica) (geographicSubregion ?NATION WesternEurope))) (holdsDuring (WhenFn ?NATION) (nationalHoliday ?NATION ChristmasDay)))	Media.kif 349-357	If a geographic area is an instance of nation and the geographic area is a geographic subregion of north america or the geographic area is a geographic subregion of south america or the geographic area is a geographic subregion of western europe, then Christmas day is a national holiday of the geographic area holds during the time of existence of the geographic area
(=> (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	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
(=> (and (locatedAtTime ?OBJ ?TIME ?PLACE) (geographicSubregion ?PLACE ?REGION)) (locatedAtTime ?OBJ ?TIME ?REGION))	Mid-level-ontology.kif 23670-23674	If an object located at time a time position for a geographic area and the geographic area is a geographic subregion of another geographic area, then the object located at time the time position for the other geographic area
(=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (geographicSubregion ?AREA ?COUNTRY) (instance ?COUNTRY Nation)) (naturalHazardTypeInArea ?COUNTRY ?TYPE))	Geography.kif 2264-2269	If a kind of physical is a natural hazard type in area of a geographic area and the geographic area is a geographic subregion of another geographic area and the other geographic area is an instance of nation, then a kind of physical is a natural hazard type in area of the other geographic area
(=> (and (partlyLocated ?PLACE ?SUBAREA) (instance ?SUBAREA GeographicArea) (geographicSubregion ?SUBAREA ?AREA)) (partlyLocated ?PLACE ?AREA))	Geography.kif 507-512	If a physical is partly located in a geographic area and the geographic area is an instance of geographic area and the geographic area is a geographic subregion of another geographic area, then the physical is partly located in the other geographic area
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (instance ?AREA StateOrProvince)) (postDistrict ?PLACE ?AREA))	Mid-level-ontology.kif 25010-25015	If a postal place is in a city and the city is a geographic subregion of a state or province and the state or province is an instance of state or province, then the postal place is in the state or province
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA))	Mid-level-ontology.kif 25017-25024	If a postal place is in a city and the city is a geographic subregion of a geopolitical area and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area, then the postal place is in the geopolitical area
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 24971-24976	If a postal place is in a neighborhood and the neighborhood is a geographic subregion of a city and the city is an instance of city, then the postal place is in the city
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?STATE) (instance ?STATE StateOrProvince)) (postDistrict ?PLACE ?STATE))	Mid-level-ontology.kif 24978-24983	If a postal place is in a neighborhood and the neighborhood is a geographic subregion of a state or province and the state or province is an instance of state or province, then the postal place is in the state or province
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 25085-25090	If a postal place is in post code a postcode area and the postcode area is a geographic subregion of a city and the city is an instance of city, then the postal place is in the city
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 25092-25097	If a postal place is in post code a postcode area and the postcode area is a geographic subregion of a state or province and the state or province is an instance of state or province, then the postal place is in the state or province

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	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of arable land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number and the other real number the unit of measure(s)
(=> (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	If dislocated civilian is an attribute of an entity and the entity lives in another entity and the other entity is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, a third entity-PLACE and the third entity-RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the third entity-RES is an instance of object and the third entity-PLACE is an instance of geopolitical area and the third entity-RES is located at the third entity-PLACE and the geographic area is not equal to the third entity-PLACE and the other entity is not equal to the third entity-RES and the geographic area is not a geographic subregion of the third entity-PLACE and the third entity-PLACE is not a geographic subregion of the geographic area and the entity lives in the third entity-RES holds during the other time interval
(=> (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	If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a real number an unit of measure(s) is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation high point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is greater than the real number
(=> (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	If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation low point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is less than the real number
(=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (geographicSubregion (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))	Geography.kif 493-498	If a directional attribute is an instance of directional attribute and a geographic area is an instance of geographic area and the directional subregion of the directional attribute and the geographic area is an instance of geographic area, then the directional subregion of the directional attribute and the geographic area is a geographic subregion of the geographic area
(=> (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 2568-2582	If a process is an instance of evacuating and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and the geographic area is a geographic subregion of the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes dangerous is an attribute of the other process
(=> (and (instance ?REGION GeographicArea) (instance (GeographicCenterFn ?REGION) GeographicArea)) (geographicSubregion (GeographicCenterFn ?REGION) ?REGION))	Geography.kif 342-346	If a geographic area is an instance of geographic area and the geographic center of the geographic area is an instance of geographic area, then the geographic center of the geographic area is a geographic subregion of the geographic area
(=> (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	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
(=> (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	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes passenger transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity
(=> (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	If a real number an unit of measure(s) is an irrigated land area of a geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of irrigated land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number the unit of measure(s)
(=> (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	If a real number an unit of measure(s) is an other land use area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of land area and the other geographic area is not an instance of arable land and the other geographic area is not an instance of permanent crop land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number and the other real number the unit of measure(s)
(=> (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	If a real number an unit of measure(s) is a permanent crop land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of permanent crop land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number and the other real number the unit of measure(s)
(=> (instance ?AREA Continent) (geographicSubregion ?AREA PlanetEarth))	Geography.kif 3515-3517	If a geographic area is an instance of continent, then the geographic area is a geographic subregion of planet earth
(=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth))	Geography.kif 3468-3470	If a geographic area is an instance of hemisphere, then the geographic area is a geographic subregion of planet earth
(=> (instance ?AREA PostcodeArea) (exists (?GEO) (geographicSubregion ?AREA ?GEO)))	Mid-level-ontology.kif 25063-25066	If a geographic area is an instance of postcode area, then there exists another geographic area such that the geographic area is a geographic subregion of the other geographic area
(=> (instance ?PLACE Neighborhood) (exists (?AREA) (geographicSubregion ?PLACE ?AREA)))	Mid-level-ontology.kif 24951-24954	If a geographic area is an instance of neighborhood, then there exists another geographic area such that the geographic area is a geographic subregion of the other geographic area
(=> (instance ?PORT DeepDraftPort) (exists (?HARBOR) (and (instance ?HARBOR DeepDraftHarbor) (geographicSubregion ?HARBOR ?PORT))))	Transportation.kif 888-893	If a geographic area is an instance of deep draft port, then there exists another geographic area such that the other geographic area is an instance of deep draft harbor and the other geographic area is a geographic subregion of the geographic area
(=> (instance ?STORM TropicalCyclonicSystem) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (geographicSubregion ?PLACE Tropics) (origin ?STORM ?PLACE))))	Weather.kif 603-609	If a process is an instance of tropical cyclonic system, then there exists a geographic area such that the geographic area is an instance of geographic area and the geographic area is a geographic subregion of tropics and the process originates at the geographic area
(=> (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	If a geographic area is an instance of inland water system, then there exist another geographic area and a third geographic area such that the other geographic area is an instance of body of water and the third geographic area is an instance of body of water and the other geographic area is not equal to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area

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 3525-3525	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 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

KB Term:			Term intersection

English Word: