geographicSubregion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1438-1439
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14202-14204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14200-14200	The number 1 argument of geographic subregion is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14201-14201	The number 2 argument of geographic subregion is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14197-14197	geographic subregion is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14195-14195	geographic subregion is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14196-14196	geographic subregion is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14199-14199	geographic subregion is a subrelation of located
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14198-14198	geographic subregion is a subrelation of proper part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1097-1097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1096-1096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1095-1095
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14242-14242	geopolitical subdivision is a subrelation of geographic subregion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25787-25787	geopolitical subdivision is a subrelation of geographic subregion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25786-25786	geopolitical subdivision is a subrelation of geographic subregion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25785-25785	geopolitical subdivision is a subrelation of geographic subregion

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2122-2133	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 equal the other geographic area and not 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2098-2112	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 equal the other geographic area and not 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
No TPTP formula. May not be expressible in strict first order.	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 &ationalHoliday$"national" holiday of the geographic area holds during the time of existence of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5683-5698	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 equal the other geographic area and 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 equal the object and the other geographic area and equal the object and 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1715-1721	If a process is an instance of InteriorChinookWind and the process is located at a geographic area and the geographic area is a geographic subregion of Western NorthAmerica and an object is an instance of mountain range, then the geographic area is east to the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1772-1780	If a process is an instance of PuelcheWind and the process is located at a geographic area and the geographic area is a geographic subregion of chile and the geographic area is south to santiago chile, then east is a surface wind direction of the geographic area holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1759-1764	If a process is an instance of ZondaWind and the process is located at a geographic area and the geographic area is a geographic subregion of argentina, then the geographic area is east to Andes Mountains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25028-25032	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2422-2427	If a kind of physical is a &aturalHazardTypeInArea$"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 &aturalHazardTypeInArea$"natural" hazard type in area of the other geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 677-682	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26384-26389	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26391-26398	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26345-26350	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26352-26357	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26459-26464	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26466-26471	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

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2250-2264	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)
No TPTP formula. May not be expressible in strict first order.	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 equal the geographic area and the third entity_PLACE and equal the other entity and 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2122-2133	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 equal the other geographic area and not 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2098-2112	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 equal the other geographic area and not 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 663-668	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2550-2564	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 512-516	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1639-1649	If a process is an instance of mistral and the process is located at a geographic area and the geographic area is an instance of geographic area and the process originates at Southern France and the process ends up at Gulf Of Lion, then the geographic area is a geographic subregion of Mediterranean Region and the geographic area is north to mediterranean sea and the geographic area is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1791-1801	If a process is an instance of pampero and the process is located at a geographic area and the geographic area is an instance of pampa, then the geographic area is a geographic subregion of argentina or the geographic area is a geographic subregion of brazil or the geographic area is a geographic subregion of bolivia or the geographic area is a geographic subregion of paraguay or the geographic area is a geographic subregion of uruguay
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 equal the object and the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2397-2407	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)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2336-2354	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)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2296-2310	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)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3673-3675	If a geographic area is an instance of continent, then the geographic area is a geographic subregion of planet earth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3626-3628	If a geographic area is an instance of hemisphere, then the geographic area is a geographic subregion of planet earth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26437-26440	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26325-26328	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5651-5659	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 equal the other geographic area and 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

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2496-2496	Adana turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2498-2498	Addis ababa ethiopia is a geographic subregion of ethiopia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2500-2500	Aden yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2502-2502	Adora west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 567-567	Afghanistan is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3683-3683	Africa is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2504-2504	Afula israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2506-2506	Agri turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2508-2508	Ain defla algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2510-2510	Ain el hajar algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2512-2512	Ajaccio france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2514-2514	Al balamand lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order.	Geography.kif 422-422	Alaska is a geographic subregion of Western NorthAmerica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 370-370	Albania is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2516-2516	Alei sinai gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2518-2518	Alei zahav west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2520-2520	Aley lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 116-116	Algeria is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2522-2522	Algiers algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2524-2524	Alkhan yurt russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2526-2526	Alon moreh west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2528-2528	Ambon indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 659-659	American samoa is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2530-2530	Amman jordan is a geographic subregion of jordan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2532-2532	An nuwaydirat bahrain is a geographic subregion of bahrain

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: