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. chinese_format.kif 1440-1442
No TPTP formula. May not be expressible in strict first order. Merge.kif 13824-13827
No TPTP formula. May not be expressible in strict first order. Merge.kif 13823-13823 Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13822-13822 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 4240-4240 Antarctica is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Government.kif 4833-4833 Confederate states of america is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4234-4234 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 2508-2508 Montenegro is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Media.kif 2556-2556 PalestinianTerritories is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4235-4235 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 2480-2480 Serbia is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4236-4236 Spratly islands is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Media.kif 2570-2570 SvalbardAndJanMayenIsland is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Government.kif 4837-4837 Union states of america is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Media.kif 2594-2594 UnitedStatesMinorOutlyingIslands is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4237-4237 West bank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4238-4238 Western sahara is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14013-14013 City is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7792-7792 City district is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14020-14020 County is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7732-7732 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 7724-7724 Independent state is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13992-13992 Nation is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Government.kif 487-487 Overseas area is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Government.kif 525-525 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 531-531 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 865-865 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 95-95 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 1524-1524 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 467-467 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 7754-7754 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 672-672 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 128-128 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 254-254 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 1156-1156 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 1188-1188 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 420-420 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 887-887 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 16458-16458 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 2135-2135 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 2033-2033 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 323-323 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 372-372 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 218-218 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 1050-1050 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 1124-1124 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 1092-1092 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 164-164 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 501-501 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 7771-7771 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 2875-2881
No TPTP formula. May not be expressible in strict first order. Government.kif 4640-4649
No TPTP formula. May not be expressible in strict first order. Government.kif 4650-4659
No TPTP formula. May not be expressible in strict first order. Government.kif 4478-4482
No TPTP formula. May not be expressible in strict first order. Government.kif 4503-4511
No TPTP formula. May not be expressible in strict first order. Government.kif 4496-4501
No TPTP formula. May not be expressible in strict first order. Government.kif 4490-4494
No TPTP formula. May not be expressible in strict first order. Government.kif 1310-1315
No TPTP formula. May not be expressible in strict first order. Government.kif 1292-1296
No TPTP formula. May not be expressible in strict first order. Government.kif 1304-1308
No TPTP formula. May not be expressible in strict first order. Government.kif 352-357
No TPTP formula. May not be expressible in strict first order. Government.kif 256-264
No TPTP formula. May not be expressible in strict first order. Government.kif 242-246
No TPTP formula. May not be expressible in strict first order. Government.kif 1333-1337
No TPTP formula. May not be expressible in strict first order. Government.kif 2152-2156
No TPTP formula. May not be expressible in strict first order. Government.kif 2047-2051
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7760-7767
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 1164-1168
No TPTP formula. May not be expressible in strict first order. Geography.kif 1196-1200
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 1057-1061
No TPTP formula. May not be expressible in strict first order. Geography.kif 1132-1136
No TPTP formula. May not be expressible in strict first order. Geography.kif 1099-1103
No TPTP formula. May not be expressible in strict first order. Transportation.kif 978-982

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 1478-1491
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 1689-1695
No TPTP formula. May not be expressible in strict first order. Economy.kif 2442-2455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13401-13405
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16399-16403
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2050-2067
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2031-2048
No TPTP formula. May not be expressible in strict first order. Merge.kif 13111-13122
No TPTP formula. May not be expressible in strict first order. Government.kif 3458-3465
No TPTP formula. May not be expressible in strict first order. Government.kif 1360-1366
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 3714-3718
No TPTP formula. May not be expressible in strict first order. Economy.kif 3740-3744
No TPTP formula. May not be expressible in strict first order. Government.kif 1286-1290
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 1372-1387
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2938-2951
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 2961-2971
No TPTP formula. May not be expressible in strict first order. Government.kif 2099-2103
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. Government.kif 1020-1024
No TPTP formula. May not be expressible in strict first order. Government.kif 948-952


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 3.0 is open source software produced by Articulate Software and its partners