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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeopoliticalArea

Sigma KEE - GeopoliticalArea
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. Merge.kif 14061-14063
No TPTP formula. May not be expressible in strict first order. Merge.kif 14057-14060
No TPTP formula. May not be expressible in strict first order. Merge.kif 14056-14056 Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14055-14055 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 4241-4241 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 4235-4235 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 4236-4236 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 4237-4237 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 4238-4238 West bank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4239-4239 Western sahara is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14273-14273 City is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7816-7816 City district is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14283-14283 County is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7758-7758 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 7750-7750 Independent state is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14248-14248 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 912-912 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 7780-7780 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 16977-16977 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 939-939 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 7795-7795 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 7786-7791
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 952-956

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 11486-11490
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14460-14464
No TPTP formula. May not be expressible in strict first order. Merge.kif 13329-13340
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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