GeopoliticalArea - Sigma Knowledge base Browser

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	子類 GeopoliticalArea and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	子類 GeopoliticalArea and GeographicArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4240-4240	例南極洲 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 4841-4841	例同盟國美國 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4234-4234	例加沙地帶 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 145-145	例中東地區 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Media.kif 2522-2522	例 Montenegro and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Media.kif 2570-2570	例 PalestinianTerritories and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4235-4235	例西沙群島 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 798-798	例蘇格蘭 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Media.kif 2494-2494	例 Serbia and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4236-4236	例南沙群島 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Media.kif 2584-2584	例 SvalbardAndJanMayenIsland and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 4845-4845	例工會美國 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Media.kif 2608-2608	例 UnitedStatesMinorOutlyingIslands and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4237-4237	例西方銀行 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4238-4238	例西撒哈拉 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14244-14244	子類 City and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8077-8077	子類市區 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14251-14251	子類縣 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8017-8017	子類依賴或特殊主權領域 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8009-8009	子類獨立國家 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14223-14223	子類 Nation and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 487-487	子類海外地區 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 525-525	子類議會領土 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 938-938	子類港口設施 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 531-531	子類自治領土 and GeopoliticalArea

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	域可用於兵役男性, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	People.kif 69-69	域每千人分娩, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1527-1527	域內閣, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	People.kif 441-441	域每個女人出生的孩子, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8039-8039	域公民, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 674-674	域憲法, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	People.kif 102-102	域每千人死亡, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	People.kif 228-228	域每千名活產嬰兒死亡人數, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1149-1149	域專屬捕魚區, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1181-1181	域延伸捕魚區, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	People.kif 394-394	域女性出生時的預期壽命, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Military.kif 887-887	域適合兵役的男性, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16712-16712	域政府, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 2138-2138	域司法, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 2036-2036	域立法機關, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	People.kif 297-297	域出生時的預期壽命, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	People.kif 346-346	域男性出生時的預期壽命, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	People.kif 192-192	域男女比例, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1043-1043	域海上毗連區, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1117-1117	域海上專屬經濟區, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1085-1085	域海運貨架區, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 965-965	域商船, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	People.kif 138-138	域每千人移民, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 501-501	域海外地區, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8056-8056	域 PerCapitaFn, 2 and GeopoliticalArea

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	SymbolicString 在 ISO-4217-A denotes UnitOfCurrency SymbolicString 在 ISO-3166-1-alpha-2 denotes GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 等於 SymbolicString and SymbolicString 的 sub-string 從 0 對於 2 UnitOfCurrency 是 GeopoliticalArea 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Government.kif 4648-4657	GeopoliticalArea 是對於 %3 的 diplomatic 類別例 GeopoliticalArea and Nation 例 AutonomousAgent and GeopoliticalArea Organization 例 Organization and Organization 位於 Organization and AutonomousAgent 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 4658-4667	Organization 是對於 %3 的 diplomatic 類別例 Organization and Organization 例 AutonomousAgent and GeopoliticalArea Organization 例 Organization and Organization 位於 Organization and AutonomousAgent 子組織 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4486-4490	GeopoliticalArea 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 GeopoliticalArea and GeopoliticalArea 採用政府 GeopoliticalArea and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	GeopoliticalArea 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 GeopoliticalArea and Nation 例 Organization and 外交組織子組織 Organization and 政府 GeopoliticalArea 佔據位置 Human, Position and Organization 例 AutonomousAgent and GeopoliticalArea AutonomousAgent 是 agent 運作在 Organization 地區
No TPTP formula. May not be expressible in strict first order.	Government.kif 4504-4509	AutonomousAgent 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 AutonomousAgent and Organization 例 AutonomousAgent and GeopoliticalArea AutonomousAgent 是 agent 運作在 AutonomousAgent 地區
No TPTP formula. May not be expressible in strict first order.	Government.kif 4498-4502	AutonomousAgent 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 AutonomousAgent and GeopoliticalArea AutonomousAgent 是 agent 運作在 Human 地區
No TPTP formula. May not be expressible in strict first order.	Government.kif 1313-1318	GeopoliticalArea 是 Organization 的 executive 分支例 GeopoliticalArea and GeopoliticalArea 子組織 Organization and Organization 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1295-1299	AutonomousAgent 是 Organization 的 executive 分支例 AutonomousAgent and GeopoliticalArea 例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1307-1311	GeopoliticalArea 是 Organization 的 executive 分支例 GeopoliticalArea and GeopoliticalArea 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 352-357	%2 是 1% 的 government 類別子屬性政體 and 神權政府例 GeopoliticalArea and GeopoliticalArea 例政府 GeopoliticalArea and ReligiousOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	%2 是 1% 的 government 類別例 GeopoliticalArea and GeopoliticalArea 子屬性政體 and 議會政府 Organization 例 Organization and 議會子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 242-246	%2 是 1% 的 government 類別例 AutonomousAgent and GeopoliticalArea 君主是 AutonomousAgent 的 leader 職位
No TPTP formula. May not be expressible in strict first order.	Government.kif 1336-1340	例 GeopoliticalArea 的 executive 分支 and Organization 例 GeopoliticalArea and GeopoliticalArea 政府 GeopoliticalArea 是 GeopoliticalArea 的 executive 分支的 executive 分支
No TPTP formula. May not be expressible in strict first order.	Government.kif 2155-2159	例 GeopoliticalArea 的 judiciary and Organization 例 GeopoliticalArea and GeopoliticalArea 政府 GeopoliticalArea 是 GeopoliticalArea 的 judiciary 的 judicial 分支
No TPTP formula. May not be expressible in strict first order.	Government.kif 2050-2054	例 GeopoliticalArea 的 legislature and Organization 例 GeopoliticalArea and GeopoliticalArea 政府 GeopoliticalArea 是 GeopoliticalArea 的 legislature 的 legislative 分支
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8045-8052	例 GeopoliticalArea and GeopoliticalArea 等於 Integer and 基數 GeopoliticalArea 的 citizenry 等於 Integer and 基數 GeopoliticalArea 的 resident 大於或等於 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 142-146	例 GeopoliticalArea and GeopoliticalArea %2 是 1% 的 government 類別 attribute 政府 GeopoliticalArea and 政體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1157-1161	例 GeopoliticalArea and GeopoliticalArea 例 GeopoliticalArea 的 exclusive 釣魚區 and 專屬捕魚區 GeopoliticalArea 是 GeopoliticalArea 的 exclusive 釣魚區的 claimed 領土
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1189-1193	例 GeopoliticalArea and GeopoliticalArea 例 GeopoliticalArea 的 extended 釣魚區 and 延伸捕魚區 GeopoliticalArea 是 GeopoliticalArea 的 extended 釣魚區的 claimed 領土
No TPTP formula. May not be expressible in strict first order.	Government.kif 121-125	例 GeopoliticalArea and GeopoliticalArea 例政府 GeopoliticalArea and 國家政府例 GeopoliticalArea and Nation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1050-1054	例 GeopoliticalArea and GeopoliticalArea 例 GeopoliticalArea 的 maritime 鄰近區 and 海上毗連區 GeopoliticalArea 是 GeopoliticalArea 的 maritime 鄰近區的 claimed 領土
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1125-1129	例 GeopoliticalArea and GeopoliticalArea 例 GeopoliticalArea 的 maritime 隔離經濟區 and 海上專屬經濟區 GeopoliticalArea 是 GeopoliticalArea 的 maritime 隔離經濟區的 claimed 領土
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1092-1096	例 GeopoliticalArea and GeopoliticalArea 例 GeopoliticalArea 的 maritime 貨價區 and 海運貨架區 GeopoliticalArea 是 GeopoliticalArea 的 maritime 貨價區的 claimed 領土
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 978-982	例 GeopoliticalArea and GeopoliticalArea 例 GeopoliticalArea 的 merchant 海洋 and 商船擁有 GeopoliticalArea and GeopoliticalArea 的 merchant 海洋

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	attribute Object and DutyFree 例 Object and 商店 GeopoliticalArea Entity, Object and Process 例 GeopoliticalArea and GeopoliticalArea 位於 Object and GeopoliticalArea 子類 Object and Object Object 是 GeopoliticalArea 的 import 商品種類例 Entity and Object 例 Process and Selling 患者 Process and Entity 位於 Process and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	持有期間 TimeInterval and attribute entity and 平民流離失所棲息 entity and entity 位於 entity and GeographicArea 例 GeographicArea and GeographicArea 例 TimeInterval and TimeInterval TimeInterval entity-PLACE and entity-RES 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 例 entity-RES and Object 例 entity-PLACE and GeopoliticalArea 位於 entity-RES and entity-PLACE 等於 GeographicArea and entity-PLACE 等於 entity and entity-RES GeographicArea 是 entity-PLACE 的 geographic 次要地區 entity-PLACE 是 GeographicArea 的 geographic 次要地區持有期間 TimeInterval and 棲息 entity and entity-RES
No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	例 AutonomousAgent and AutonomousAgent 子類 AutonomousAgent 的 election and 選舉例 AutonomousAgent and Organization 例 AutonomousAgent and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2432-2445	例 Process and 出口患者 Process and Entity 例 GeopoliticalArea and GeopoliticalArea 持有期間開始何時 Process and 位於 Entity and GeopoliticalArea GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 地緣政治細分 GeopoliticalArea and GeopoliticalArea 地緣政治細分 GeopoliticalArea and GeopoliticalArea 持有期間結束何時 Process and 位於 Entity and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13882-13886	例 Process and 政治革命患者 Process and Entity 例 Entity and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16905-16909	例 Relation and 經濟關係域 Relation, 1 and Class 子類 Class and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	例 Object and Buying attribute Object and CBT 患者 Object and Entity 例 Entity and Object Object AutonomousAgent, AutonomousAgent_LOCATION and Object_LOCATION 例 AutonomousAgent and AutonomousAgent 例 Object and AutonomousAgent agent Object and AutonomousAgent 起源 Object and Object 例 AutonomousAgent_LOCATION and GeopoliticalArea 例 Object_LOCATION and GeopoliticalArea 位於 Object and Object_LOCATION 位於 AutonomousAgent and AutonomousAgent_LOCATION 等於 AutonomousAgent_LOCATION and Object_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	例 Object and Selling attribute Object and CBT 患者 Object and Entity 例 Entity and Object AutonomousAgent Physical, Physical_LOCATION and AutonomousAgent_LOCATION 例 Physical and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 目的地 Object and Physical agent Object and AutonomousAgent 例 Physical_LOCATION and GeopoliticalArea 例 AutonomousAgent_LOCATION and GeopoliticalArea 位於 AutonomousAgent and AutonomousAgent_LOCATION 位於 Physical and Physical_LOCATION 等於 Physical_LOCATION and AutonomousAgent_LOCATION
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13338-13349	例 Process and War agent Process and AutonomousAgent 例 AutonomousAgent and GeopoliticalArea 例 AutonomousAgent and Organization Physical 會員 Physical and AutonomousAgent 例 Physical and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 3466-3473	會員 AutonomousAgent and 國際法院 attribute AutonomousAgent and 法官 AutonomousAgent 例 AutonomousAgent and GeopoliticalArea %１是對於％３給代理％２的 representative 代理
No TPTP formula. May not be expressible in strict first order.	Government.kif 1363-1369	attribute Human and 君主 GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea %2 是 1% 的 government 類別 GeopoliticalArea 州君主的 chief 對於 Human
No TPTP formula. May not be expressible in strict first order.	Economy.kif 91-95	經濟屬性是 AutonomousAgent 的 economy 類別例 AutonomousAgent and GeopoliticalArea 例 AutonomousAgent and Organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3704-3708	等於 TimeInterval and AutonomousAgent 的 fiscal 年例 AutonomousAgent and GeopoliticalArea 例 AutonomousAgent and Organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3732-3736	等於 TimeInterval and AutonomousAgent 和年的 fiscal 開始年分例 AutonomousAgent and GeopoliticalArea 例 AutonomousAgent and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1289-1293	AutonomousAgent 是 Organization 的 executive 分支例 Organization and GeopoliticalArea 例 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 136-140	%2 是 1% 的 government 類別例 AutonomousAgent and Organization 例 AutonomousAgent and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1375-1390	例 Process and Coronation Entity Entity 例 Entity and Human 患者 Process and Entity 例 Entity and GeopoliticalArea 持有期間開始何時 Process and Entity 不是州君主的 chief 對於 Entity 持有期間眼前的未來何時 Process and Entity 州君主的 chief 對於 Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2728-2741	例 Collection and GlobalCrossFunctionalTeam Physical Physical_LOC, Physical and Physical_LOC 例 Physical and Human 例 Physical and Human 例 Physical_LOC and GeopoliticalArea 例 Physical_LOC and GeopoliticalArea 會員 Physical and Collection 會員 Physical and Collection 位於 Physical and Physical_LOC 位於 Physical and Physical_LOC 等於 Physical_LOC and Physical_LOC
No TPTP formula. May not be expressible in strict first order.	Military.kif 788-793	例軍事組織 and 軍事組織 GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea GeopoliticalArea 是軍事組織的 military 區域
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3039-3049	例 Entity and 條約文件 Process AutonomousAgent and AutonomousAgent 例 Process and Committing 患者 Process and Entity 例 AutonomousAgent and GeopoliticalArea agent Process and AutonomousAgent 例 AutonomousAgent and GeopoliticalArea agent Process and AutonomousAgent 等於 AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2102-2106	AutonomousAgent 是 Organization 的 judicial 分支例 Organization and GeopoliticalArea 例 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2007-2011	AutonomousAgent 是 Organization 的 legislative 分支例 AutonomousAgent and Organization 例 AutonomousAgent and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1023-1027	TimeDuration 是 TimeDurationNT 的 suffrage 最大年紀例 TimeDurationNT and Organization 例 TimeDurationNT and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 951-955	TimeDuration 是 TimeDurationNT 的 suffrage 最小年紀例 TimeDurationNT and Organization 例 TimeDurationNT and GeopoliticalArea

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

KB Term:			Term intersection

English Word: