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 14055-14058
No TPTP formula. May not be expressible in strict first order. Merge.kif 14054-14054 Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14053-14053 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 4841-4841 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 2522-2522 Montenegro is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Media.kif 2570-2570 Palestinian territories 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 2494-2494 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 2584-2584 Svalbard and Jan Mayen island is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Government.kif 4845-4845 Union states of america is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Media.kif 2608-2608 United states minor outlying islands 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 14244-14244 City is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8077-8077 City district is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14251-14251 County is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8017-8017 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 8009-8009 Independent state is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14223-14223 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 69-69 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 1527-1527 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 441-441 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 8039-8039 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 674-674 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 102-102 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 228-228 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 1149-1149 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 1181-1181 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 394-394 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 16712-16712 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 2138-2138 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 2036-2036 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 297-297 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 346-346 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 192-192 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 1043-1043 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 1117-1117 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 1085-1085 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 138-138 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 8056-8056 The number 2 argument of per capita fn 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 2889-2895
No TPTP formula. May not be expressible in strict first order. Government.kif 4648-4657
No TPTP formula. May not be expressible in strict first order. Government.kif 4658-4667
No TPTP formula. May not be expressible in strict first order. Government.kif 4486-4490
No TPTP formula. May not be expressible in strict first order. Government.kif 4511-4519
No TPTP formula. May not be expressible in strict first order. Government.kif 4504-4509
No TPTP formula. May not be expressible in strict first order. Government.kif 4498-4502
No TPTP formula. May not be expressible in strict first order. Government.kif 1313-1318
No TPTP formula. May not be expressible in strict first order. Government.kif 1295-1299
No TPTP formula. May not be expressible in strict first order. Government.kif 1307-1311
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 1336-1340
No TPTP formula. May not be expressible in strict first order. Government.kif 2155-2159
No TPTP formula. May not be expressible in strict first order. Government.kif 2050-2054
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8045-8052
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 1157-1161
No TPTP formula. May not be expressible in strict first order. Geography.kif 1189-1193
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 1050-1054
No TPTP formula. May not be expressible in strict first order. Geography.kif 1125-1129
No TPTP formula. May not be expressible in strict first order. Geography.kif 1092-1096
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 1692-1698
No TPTP formula. May not be expressible in strict first order. Economy.kif 2432-2445
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13882-13886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16905-16909
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1841-1858
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1822-1839
No TPTP formula. May not be expressible in strict first order. Merge.kif 13338-13349
No TPTP formula. May not be expressible in strict first order. Government.kif 3466-3473
No TPTP formula. May not be expressible in strict first order. Government.kif 1363-1369
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 3704-3708
No TPTP formula. May not be expressible in strict first order. Economy.kif 3732-3736
No TPTP formula. May not be expressible in strict first order. Government.kif 1289-1293
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 1375-1390
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2728-2741
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 3039-3049
No TPTP formula. May not be expressible in strict first order. Government.kif 2102-2106
No TPTP formula. May not be expressible in strict first order. Government.kif 2007-2011
No TPTP formula. May not be expressible in strict first order. Government.kif 1023-1027
No TPTP formula. May not be expressible in strict first order. Government.kif 951-955


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