GeopoliticalArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13924-13926
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13920-13923
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13919-13919	Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13918-13918	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 4244-4244	Antarctica is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4777-4777	Confederate states of america is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4238-4238	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 2504-2504	Montenegro is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2540-2540	PalestinianTerritories is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4239-4239	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 2489-2489	Serbia is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4240-4240	Spratly islands is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2554-2554	SvalbardAndJanMayenIsland is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4781-4781	Union states of america is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2578-2578	UnitedStatesMinorOutlyingIslands is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4241-4241	West bank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4242-4242	Western sahara is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14136-14136	City is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7804-7804	City district is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14146-14146	County is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7754-7754	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 7746-7746	Independent state is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14111-14111	Nation is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 476-476	Overseas area is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 514-514	Parliamentary territory is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 885-885	Port facility is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 520-520	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 860-860	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 91-91	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 1487-1487	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 447-447	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 7776-7776	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 668-668	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 122-122	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 243-243	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 1133-1133	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 1164-1164	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 402-402	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 882-882	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 16839-16839	The number 1 argument of government is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2098-2098	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 1996-1996	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 310-310	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 357-357	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 207-207	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 1029-1029	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 1102-1102	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 1071-1071	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 912-912	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 156-156	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 490-490	The number 1 argument of overseas area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7791-7791	The number 2 argument of PerCapitaFn 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 2859-2865	If a symbolic string in ISO-4217-A denotes an UnitOfCurrency and an entity in ISO-3166-1-alpha-2 denotes a geopolitical area and the geopolitical area is a subclass of geopolitical area and the entity is equal to the sub-string of the symbolic string from 0 to 2, then the UnitOfCurrency is a currency type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4585-4594	If a geopolitical area 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 4595-4604	If an organization 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 4423-4427	If a geopolitical area 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 4448-4456	If a geopolitical area 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 4441-4446	If an agent 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 4435-4439	If an agent 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 1273-1278	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 1255-1259	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 1267-1271	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 340-345	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 244-252	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 230-234	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 1296-1300	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 2115-2119	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 2010-2014	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 7782-7787	If a geopolitical area is an instance of geopolitical area and a group of people is equal to the citizenry of the geopolitical area and another group of people is equal to the resident of the geopolitical area, then the other group of people is greater than or equal to the group of people
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 1141-1145	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 1172-1176	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 1036-1040	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 1110-1114	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 1078-1082	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 925-929	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.	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.	Government.kif 1652-1658	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 2435-2448	If a process is an instance of exporting and a physical is a patient of the process and an object is an instance of geopolitical area and the physical is located at the object holds during the beginning of the time of existence of the process, then there exists the object2 such that the object2 is an instance of geopolitical area and the object1 is not a geopolitical part of the object2 and the object2 is not a geopolitical part of the object1 and the physical is located at the object2 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 11226-11230	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 14200-14204	If a relation is an instance of economic relation and the number 1 argument of the relation is an instance of a set or class, then the set or class is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13192-13203	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 an object if the object is a member of the agent, then the object is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 3403-3410	If an agent is a member of international court of justice and judge at law 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 representative agent to agent the agent for international court of justice
No TPTP formula. May not be expressible in strict first order.	Government.kif 1323-1329	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 3707-3711	If a kind of time interval is equal to 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 3733-3737	If a time interval is equal to 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 1249-1253	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 1335-1350	If a process is an instance of Coronation, then there exist a human and a geopolitical area such that the human is an instance of human and the human is a patient of the process and the geopolitical area is an instance of geopolitical area and the geopolitical area doesn't chief of state monarch for the human holds during the beginning of the time of existence of the process and the geopolitical area chief of state monarch for the human holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Military.kif 788-793	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 2885-2895	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 the agent is not equal to the other agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2062-2066	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 1967-1971	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.	Government.kif 1008-1012	If a time duration is a suffrage age maximum of the time durationNT, then the time durationNT is an instance of organization or the time durationNT is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 944-948	If a time duration is a suffrage age minimum of the time durationNT, then the time durationNT is an instance of organization or the time durationNT is an instance of geopolitical area

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: