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, 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 13017-13020
No TPTP formula. May not be expressible in strict first order. Merge.kif 13016-13016 Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13015-13015 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 13206-13206 City is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7824-7824 City district is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13213-13213 County is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7766-7766 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 7758-7758 Independent state is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13185-13185 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 7788-7788 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 15516-15516 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 7803-7803 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 7794-7799
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 11544-11548
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14513-14517
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2045-2062
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2026-2043
No TPTP formula. May not be expressible in strict first order. Merge.kif 12371-12382
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 2933-2946
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


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