GeopoliticalArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1440-1442
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14208-14211
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14207-14207	Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14206-14206	Geopolitical area is a subclass of geographic area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4235-4235	Antarctica is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4802-4802	Confederate states of america is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4229-4229	Gaza strip is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 145-145	Middle east region is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2524-2524	Montenegro is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2572-2572	Palestinian territories is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4230-4230	Paracel islands is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 798-798	Scotland is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2496-2496	Serbia is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4231-4231	Spratly islands is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2586-2586	Svalbard and Jan Mayen island is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4806-4806	Union states of america is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2610-2610	United states minor outlying islands is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4232-4232	West bank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4233-4233	Western sahara is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14397-14397	City is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9244-9244	City district is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14404-14404	County is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9184-9184	Dependency or special sovereignty area is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9176-9176	Independent state is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14376-14376	Nation is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 451-451	Overseas area is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 489-489	Parliamentary territory is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 938-938	Port facility is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 495-495	Self governing territory is a subclass of geopolitical area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Military.kif 933-933	The number 1 argument of available for military service male is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 69-69	The number 1 argument of births per thousand is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1489-1489	The number 1 argument of cabinet is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 441-441	The number 1 argument of children born per woman is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9206-9206	The number 1 argument of citizenry is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 638-638	The number 1 argument of constitution is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 102-102	The number 1 argument of deaths per thousand is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 228-228	The number 1 argument of deaths per thousand live births is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1313-1313	The number 1 argument of exclusive fishing zone is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1345-1345	The number 1 argument of extended fishing zone is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 394-394	The number 1 argument of female life expectancy at birth is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Military.kif 955-955	The number 1 argument of fit for military service male is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16887-16887	The number 1 argument of government is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1025-1025	The number 1 argument of GNP is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2100-2100	The number 1 argument of judiciary is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1998-1998	The number 1 argument of legislature is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 297-297	The number 1 argument of life expectancy at birth is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 346-346	The number 1 argument of male life expectancy at birth is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 192-192	The number 1 argument of male to female ratio is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1207-1207	The number 1 argument of maritime contiguous zone is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1281-1281	The number 1 argument of maritime exclusive economic zone is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1249-1249	The number 1 argument of maritime shelf area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 965-965	The number 1 argument of merchant marine is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 138-138	The number 1 argument of migrants per thousand is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 465-465	The number 1 argument of overseas area is an instance of geopolitical area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2891-2897	If a symbolic string in ISO_4217_A denotes an unit of currency and another symbolic string in ISO_3166_1_alpha_2 denotes a geopolitical area and the geopolitical area is an instance of geopolitical area and equal the other symbolic string and the sub-string of the symbolic string from 0 to 2, then the unit of currency is a currency type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4609-4618	If a geopolitical area is diplomatic organization type a kind of organization for an agent and the geopolitical area is an instance of nation and the agent is an instance of geopolitical area, then there exists another organization such that the other organization is an instance of a kind of organization and the other organization is located at the agent and the other organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4619-4628	If an organization is diplomatic organization type another kind of organization for an agent and the organization is an instance of organization and the agent is an instance of geopolitical area, then there exists a third organization such that the third organization is an instance of another kind of organization and the third organization is located at the agent and the third organization is a part of the organization the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4447-4451	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area employs the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4472-4480	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation and an organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then the agent is an agent operates in area of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4465-4470	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization and the other agent is an instance of geopolitical area, then the other agent is an agent operates in area of the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4459-4463	If an agent is diplomatic representative in role a human for a position with another agent and the other agent is an instance of geopolitical area, then the other agent is an agent operates in area of the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1275-1280	If a geopolitical area is an executive branch of an organization and the geopolitical area is an instance of geopolitical area and another organization is a part of the organization the organization, then the other organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1257-1261	If an agent is an executive branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1269-1273	If a geopolitical area is an executive branch of an organization and the geopolitical area is an instance of geopolitical area, then the organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 352-357	If a form of government is a government type of a geopolitical area and the form of government is a subattribute of theocratic government and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	If a form of government is a government type of a geopolitical area and the geopolitical area is an instance of geopolitical area and the form of government is a subattribute of parliamentary government, then there exists an organization such that the organization is an instance of parliament and the organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 242-246	If absolute monarchy is a government type of an agent and the agent is an instance of geopolitical area, then monarch is a leader position of the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1298-1302	If the executive branch of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an executive branch of the executive branch of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2116-2120	If the judiciary of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is a judicial branch of the judiciary of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2012-2016	If the legislature of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is a legislative branch of the legislature of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9212-9219	If a geopolitical area is an instance of geopolitical area and equal an integer and the number of instances in the citizenry of the geopolitical area and equal another integer and the number of instances in the resident of the geopolitical area, then the other integer is greater than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 142-146	If a geopolitical area is an instance of geopolitical area and a form of government is a government type of the geopolitical area, then the form of government is an attribute of the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1321-1325	If a geopolitical area is an instance of geopolitical area and the exclusive fishing zone of the geopolitical area is an instance of exclusive fishing zone, then the geopolitical area is a claimed territory of the exclusive fishing zone of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1353-1357	If a geopolitical area is an instance of geopolitical area and the extended fishing zone of the geopolitical area is an instance of extended fishing zone, then the geopolitical area is a claimed territory of the extended fishing zone of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 121-125	If a geopolitical area is an instance of geopolitical area and the government of the geopolitical area is an instance of national government, then the geopolitical area is an instance of nation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1214-1218	If a geopolitical area is an instance of geopolitical area and the maritime contiguous zone of the geopolitical area is an instance of maritime contiguous zone, then the geopolitical area is a claimed territory of the maritime contiguous zone of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1289-1293	If a geopolitical area is an instance of geopolitical area and the maritime exclusive economic zone of the geopolitical area is an instance of maritime exclusive economic zone, then the geopolitical area is a claimed territory of the maritime exclusive economic zone of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1256-1260	If a geopolitical area is an instance of geopolitical area and the maritime shelf area of the geopolitical area is an instance of maritime shelf area, then the geopolitical area is a claimed territory of the maritime shelf area of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 978-982	If a geopolitical area is an instance of geopolitical area and the merchant marine of the geopolitical area is an instance of merchant marine, then the geopolitical area possesses the merchant marine of the geopolitical area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1489-1502	If duty free is an attribute of an object and the object is an instance of store, then there exist a geopolitical area, an entity,, , another kind of object and a process such that the geopolitical area is an instance of geopolitical area and the object is located at the geopolitical area and another kind of object is a subclass of object and the other kind of object is an import commodity type of the geopolitical area and the entity is an instance of the other kind of object and the process is an instance of selling and the entity is a patient of the process and the process is located at the object
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.	Government.kif 1654-1660	If an agent is an instance of agent and the election of the agent is a subclass of election, then the agent is an instance of organization or the agent is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2672-2685	If a process is an instance of exporting and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2832-2851	If a process is an instance of importing and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15253-15257	If a process is an instance of political revolution and an entity is a patient of the process, then the entity is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18292-18296	If a relation is an instance of economic relation and the number 1 argument of the relation is an instance of a class, then the class is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	If an object is an instance of buying and cross border trade is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist another object, an agent,, , the agent_LOCATION and the other object_LOCATION such that the agent is an instance of agent and the other object is an instance of agent and the agent is an agent of the object and the object originates at the other object and the agent_LOCATION is an instance of geopolitical area and the other object_LOCATION is an instance of geopolitical area and the other object is located at the other object_LOCATION and the agent is located at the agent_LOCATION and equal the agent_LOCATION and the other object_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	If an object is an instance of selling and cross border trade is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist an agent, a physical,, , the physical_LOCATION and the agent_LOCATION such that the physical is an instance of agent and the agent is an instance of agent and the object ends up at the physical and the agent is an agent of the object and the physical_LOCATION is an instance of geopolitical area and the agent_LOCATION is an instance of geopolitical area and the agent is located at the agent_LOCATION and the physical is located at the physical_LOCATION and equal the physical_LOCATION and the agent_LOCATION
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13492-13503	If a process is an instance of war and an agent is an agent of the process, then the agent is an instance of geopolitical area or the agent is an instance of organization and for all a physical if the physical is a member of the agent, then the physical is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 3427-3434	If an agent is a member of international court of justice and judge is an attribute of the agent, then there exists another agent such that the other agent is an instance of geopolitical area and the other agent is representative agent to agent the agent for international court of justice
No TPTP formula. May not be expressible in strict first order.	Government.kif 1325-1331	If monarch is an attribute of a human, then there exists a geopolitical area such that the geopolitical area is an instance of geopolitical area and monarchy is a government type of the geopolitical area and the geopolitical area chief of state monarch for the human
No TPTP formula. May not be expressible in strict first order.	Economy.kif 91-95	If an economic attribute is an economy type of an agent, then the agent is an instance of geopolitical area or the agent is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4041-4045	If equal a kind of time interval and the fiscal year of an agent, then the agent is an instance of geopolitical area or the agent is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4069-4073	If equal a time interval and the fiscal year starting of an agent and a kind of year, then the agent is an instance of geopolitical area or the agent is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1251-1255	If an agent is an executive branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 136-140	If a form of government is a government type of an agent, then the agent is an instance of organization or the agent is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1337-1352	If a process is an instance of coronation, then there exist an entity and another entity such that the entity is an instance of human and the entity is a patient of the process and the other entity is an instance of geopolitical area and the other entity doesn't chief of state monarch for the entity holds during the beginning of the time of existence of the process and the other entity chief of state monarch for the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6905-6926	If a collection is an instance of goods and services, then a geopolitical area is an instance of geopolitical area and if a process is an instance of manufacture and a physical is a result of the process and the processAKER is an agent of the process and the processAKER is a member of the citizenry of the geopolitical area and finishes during the time of existence of the process and a time interval and the process is located at the geopolitical area, then the physical is a member of the collection and if an object is an instance of process and service is an attribute of the object and another agent is an agent of the object and the other agent is a member of the citizenry of the geopolitical area and finishes during the time of existence of the object and the time interval and the object is located at the geopolitical area, then the object is a member of the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2728-2741	If a collection is an instance of global cross_functional team, then there exist a physical, the physical_LOC,, , another physical and the other physical_LOC such that the physical is an instance of human and the other physical is an instance of human and the physical_LOC is an instance of geopolitical area and the other physical_LOC is an instance of geopolitical area and the physical is a member of the collection and the other physical is a member of the collection and the physical is located at the physical_LOC and the other physical is located at the other physical_LOC and equal the physical_LOC and the other physical_LOC
No TPTP formula. May not be expressible in strict first order.	Military.kif 856-861	If a military organization is an instance of military organization, then there exists a geopolitical area such that the geopolitical area is an instance of geopolitical area and the geopolitical area is a military of area of the military organization
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3197-3207	If an entity is an instance of treaty document, then there exist a process, an agent and another agent such that the process is an instance of committing and the entity is a patient of the process and the agent is an instance of geopolitical area and the agent is an agent of the process and the other agent is an instance of geopolitical area and the other agent is an agent of the process and equal the agent and the other agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2064-2068	If an agent is a judicial branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1969-1973	If an agent is a legislative branch of an organization, then the agent is an instance of organization or the agent is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 905-919	If a cognitive agent is a member of capitalism, then the cognitive agent believes if an entity is an instance of mean of production and the entity is an attribute of another entity and a third entity is an instance of geopolitical area and the other entity is located at the third entity, then there exists a fourth entity such that the fourth entity is an instance of agent and the other entity is an element of belongings of the fourth entity and equal the fourth entity and not the citizenry of the third entity

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: