geographicSubregion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13915-13916
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13912-13914
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13910-13910	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 13911-13911	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 13907-13907	geographic subregion is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13905-13905	geographic subregion is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13906-13906	geographic subregion is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13909-13909	geographic subregion is a subrelation of located
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13908-13908	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 282-282
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13957-13957	geopolitical subdivision is a subrelation of geographic subregion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4717-4717	"geographic subregion" is the printable form of geographic subregion in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1902-1913	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 length measure is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another length measure 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 length measure is an elevation of the other geographic area and the other length measure is greater than the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1881-1892	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 a length measure is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another length measure 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 length measure is an elevation of the other geographic area and the other length measure is less than the length measure
No TPTP formula. May not be expressible in strict first order.	Media.kif 349-357	If a geopolitical area is an instance of nation and the geopolitical area is a geographic subregion of north america or the geopolitical area is a geographic subregion of south america or the geopolitical area is a geographic subregion of western europe, then ChristmasDay is a national holiday of the geopolitical area holds during the time of existence of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5045-5060	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20904-20908	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 2199-2204	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 a third geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 504-509	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 22124-22129	If a PostalPlace 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 PostalPlace is in the state or province
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22131-22138	If a PostalPlace 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 PostalPlace is in the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22085-22090	If a PostalPlace is in a neighborhood and the neighborhood is a geographic subregion of a city and the city is an instance of city, then the PostalPlace is in the city
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22092-22097	If a PostalPlace 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 PostalPlace is in the state or province
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22199-22204	If a PostalPlace is in post code a PostcodeArea and the PostcodeArea is a geographic subregion of a city and the city is an instance of city, then the PostalPlace is in the city
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22206-22211	If a PostalPlace is in post code a PostcodeArea and the PostcodeArea is a geographic subregion of a state or province and the state or province is an instance of state or province, then the PostalPlace is in the state or province

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2037-2047	If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea, 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 constant quantity and the 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 organism and the organism lives in an object and the object 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, an entity-PLACE and the 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 entity-RES is an instance of object and the entity-PLACE is an instance of geopolitical area and the entity-RES is located at the entity-PLACE and the geographic area is not equal to the entity-PLACE and the object is not equal to the entity-RES and the geographic area is not a geographic subregion of the entity-PLACE and the entity-PLACE is not a geographic subregion of the geographic area and the organism lives in the entity-RES holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1902-1913	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 length measure is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another length measure 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 length measure is an elevation of the other geographic area and the other length measure is greater than the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1881-1892	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 a length measure is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another length measure 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 length measure is an elevation of the other geographic area and the other length measure is less than the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 490-495	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 2483-2497	If a process is an instance of evacuation and the process originates at a geographic area and an 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 agent believes dangerous is an attribute of the other process
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2176-2184	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 UnitOfArea, 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 an object is the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2127-2139	If a constant quantity is an other land use area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea, 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 constant quantity and the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2085-2095	If a constant quantity is a permanent crop land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea, 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 constant quantity and the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3361-3363	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 3314-3316	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 22177-22180	If a geographic area is an instance of PostcodeArea, 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 22065-22068	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 835-840	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 395-401	If a process is an instance of tropical cyclone, 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 is located at 2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5013-5021	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

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2495-2495	Adana turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2497-2497	Addis ababa ethiopia is a geographic subregion of ethiopia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2499-2499	Aden yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2501-2501	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 3371-3371	Africa is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2503-2503	Afula israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2505-2505	Agri turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2507-2507	Ain defla algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2509-2509	Ain el hajar algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2511-2511	Ajaccio france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2513-2513	Al balamand lebanon is a geographic subregion of lebanon
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 2515-2515	Alei sinai gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2517-2517	Alei zahav west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2519-2519	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 2521-2521	Algiers algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2523-2523	Alkhan yurt russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2525-2525	Alon moreh west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2527-2527	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 2529-2529	Amman jordan is a geographic subregion of jordan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2531-2531	An nuwaydirat bahrain is a geographic subregion of bahrain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2533-2533	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: