GeopoliticalArea(geopolitical area) | ![]() | Anguilla, Anguillan, Baltic, Bloomsbury, Boeotian, Bosnian, Byzantine, Cambrian, Catalan, Croatian, Cyprian, Cypriot, Cypriote, Dar_al-Islam, Dipylon, Gallic, Georgian, Hollywood, House_of_Islam, Indian_reservation, Latin, Lilliputian, Macedonian, Manchurian, Numidia, Ottoman_Empire, Palestinian, Prussian, Scotch, Scots, Scottish, Serbian, Slovenian, SoHo, Soho, South_of_Houston, Sumerian, Tibetan, Turkish_Empire, Welsh, Wembley, abbacy, archbishopric, archdeaconry, archdiocese, archduchy, associated_state, bailiwick, barony, bishopric... |
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 13054-13057 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13053-13053 | Geopolitical area is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13052-13052 | 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 4242-4242 | Antarctica is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4772-4772 | Confederate states of america is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4236-4236 | 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 4237-4237 | 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 4238-4238 | 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 4776-4776 | 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 4239-4239 | West bank is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4240-4240 | Western sahara is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13243-13243 | City is a subclass of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7799-7799 | City district is a subclass of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13250-13250 | County is a subclass of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7741-7741 | 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 7733-7733 | Independent state is a subclass of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13222-13222 | 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 927-927 | 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 1481-1481 | 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 7763-7763 | 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 661-661 | 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 1145-1145 | 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 1176-1176 | 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 15567-15567 | 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 2092-2092 | 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 1990-1990 | 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 1042-1042 | 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 1114-1114 | 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 1083-1083 | 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 954-954 | 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 7778-7778 | 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 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4579-4588 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4589-4598 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4417-4421 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4442-4450 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4435-4440 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4429-4433 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1267-1272 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1249-1253 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1261-1265 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 340-345 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 244-252 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 230-234 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1290-1294 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2109-2113 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2004-2008 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7769-7774 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 142-146 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1153-1157 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1184-1188 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 121-125 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1049-1053 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1122-1126 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1090-1094 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 967-971 |
|
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 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1646-1652 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2435-2448 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11519-11523 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14488-14492 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2047-2064 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2028-2045 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12408-12419 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 3397-3404 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1317-1323 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 91-95 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3707-3711 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3733-3737 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1243-1247 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 136-140 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1329-1344 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2935-2948 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 788-793 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2898-2908 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2056-2060 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1961-1965 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1001-1005 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 937-941 |
|
![]() |
![]() |