Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeopoliticalArea
GeopoliticalArea(geopolitical area)مَنْطِقَة جِيُوسِيَاسِيَّة, Anguilla, Anguillan, AreaGeopolitica, Area_Geopolitica, 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...

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
No TPTP formula. May not be expressible in strict first order. Government.kif 4585-4594
No TPTP formula. May not be expressible in strict first order. Government.kif 4595-4604
No TPTP formula. May not be expressible in strict first order. Government.kif 4423-4427
No TPTP formula. May not be expressible in strict first order. Government.kif 4448-4456
No TPTP formula. May not be expressible in strict first order. Government.kif 4441-4446
No TPTP formula. May not be expressible in strict first order. Government.kif 4435-4439
No TPTP formula. May not be expressible in strict first order. Government.kif 1273-1278
No TPTP formula. May not be expressible in strict first order. Government.kif 1255-1259
No TPTP formula. May not be expressible in strict first order. Government.kif 1267-1271
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 1296-1300
No TPTP formula. May not be expressible in strict first order. Government.kif 2115-2119
No TPTP formula. May not be expressible in strict first order. Government.kif 2010-2014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7782-7787
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 1141-1145
No TPTP formula. May not be expressible in strict first order. Geography.kif 1172-1176
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 1036-1040
No TPTP formula. May not be expressible in strict first order. Geography.kif 1110-1114
No TPTP formula. May not be expressible in strict first order. Geography.kif 1078-1082
No TPTP formula. May not be expressible in strict first order. Transportation.kif 925-929

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 1652-1658
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 11226-11230
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14200-14204
No TPTP formula. May not be expressible in strict first order. Merge.kif 13192-13203
No TPTP formula. May not be expressible in strict first order. Government.kif 3403-3410
No TPTP formula. May not be expressible in strict first order. Government.kif 1323-1329
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 1249-1253
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 1335-1350
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 2885-2895
No TPTP formula. May not be expressible in strict first order. Government.kif 2062-2066
No TPTP formula. May not be expressible in strict first order. Government.kif 1967-1971
No TPTP formula. May not be expressible in strict first order. Government.kif 1008-1012
No TPTP formula. May not be expressible in strict first order. Government.kif 944-948


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