TreeView 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	地缘政治区域是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	地缘政治区域是地理区域的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4240-4240	南极洲是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4841-4841	同盟国美国是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4234-4234	加沙地带是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 145-145	中东地区是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2522-2522	Montenegro 是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2570-2570	PalestinianTerritories 是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4235-4235	西沙群岛是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 798-798	苏格兰是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2494-2494	Serbia 是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4236-4236	南沙群岛是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2584-2584	SvalbardAndJanMayenIsland 是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4845-4845	工会美国是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2608-2608	UnitedStatesMinorOutlyingIslands 是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4237-4237	西方银行是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4238-4238	撒哈拉沙漠西部是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14244-14244	城市是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8077-8077	市区是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14251-14251	县是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8017-8017	依赖或特殊主权领域是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8009-8009	独立国家是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14223-14223	国家是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 487-487	海外地区是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 525-525	议会领土是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 938-938	港口设施是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 531-531	自治领土是地缘政治区域的 subclass

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 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 69-69	每千人分娩的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1527-1527	内阁的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 441-441	每个女人出生的孩子的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8039-8039	公民的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 674-674	宪法的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 102-102	每千人死亡的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 228-228	每千名活产婴儿死亡人数的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1149-1149	专属捕鱼区的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1181-1181	延伸捕鱼区的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 394-394	女性出生时的预期寿命的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 887-887	适合兵役的男性的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16712-16712	政府函数的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2138-2138	司法的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2036-2036	立法机关的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 297-297	出生时的预期寿命的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 346-346	男性出生时的预期寿命的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 192-192	男女比例的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1043-1043	海上毗连区的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1117-1117	海上专属经济区的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1085-1085	海运货架区的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 965-965	商船的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 138-138	每千人移民的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 501-501	海外地区的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8056-8056	PerCapitaFn 的 2 数量是地缘政治区域的 instance

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	如果符号串在 ISO-4217-A denotes UnitOfCurrency 和另一个符号串在 ISO-3166-1-alpha-2 denotes 地缘政治区域和那个地缘政治区域是地缘政治区域的 instance 和那个另外符号串 equal 那个符号串的 sub-string 从 0 对于 2 ，然后那个 UnitOfCurrency 是那个地缘政治区域的 currency 类别
No TPTP formula. May not be expressible in strict first order.	Government.kif 4648-4657	如果地缘政治区域是对于 %3 的 diplomatic 类别和那个地缘政治区域是国家的 instance 和施事体是地缘政治区域的 instance，然后有存在机构这样那个机构是另一个有点机构的 instance 和那个机构是 located 在那个施事体和那个机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4658-4667	如果机构是对于 %3 的 diplomatic 类别和那个机构是机构的 instance 和施事体是地缘政治区域的 instance，然后有存在另一个机构这样那个另外机构是第三有点机构的 instance 和那个另外机构是 located 在那个施事体和那个另外机构是那个机构 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4486-4490	如果地缘政治区域是对于地位和施事体的外交代表在角色人类和那个地缘政治区域是地缘政治区域的 instance，然后那个地缘政治区域的 Government employs 那个人类
No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	如果地缘政治区域是对于地位和施事体的外交代表在角色人类和那个地缘政治区域是国家的 instance 和机构是外交组织的 instance 和那个机构是那个地缘政治区域的 Government Organization 的一部分和那个人类在那个机构任职那个地位和那个施事体是地缘政治区域的 instance，然后那个施事体是 agent 运作在那个机构地区
No TPTP formula. May not be expressible in strict first order.	Government.kif 4504-4509	如果施事体是对于地位和另一个施事体的外交代表在角色人类和那个施事体是机构的 instance 和那个另外施事体是地缘政治区域的 instance，然后那个另外施事体是 agent 运作在那个施事体地区
No TPTP formula. May not be expressible in strict first order.	Government.kif 4498-4502	如果施事体是对于地位和另一个施事体的外交代表在角色人类和那个另外施事体是地缘政治区域的 instance，然后那个另外施事体是 agent 运作在那个人类地区
No TPTP formula. May not be expressible in strict first order.	Government.kif 1313-1318	如果地缘政治区域是机构的 executive 分支和那个地缘政治区域是地缘政治区域的 instance 和另一个机构是那个机构 Organization 的一部分，然后那个另外机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 1295-1299	如果施事体是机构的 executive 分支和那个施事体是地缘政治区域的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1307-1311	如果地缘政治区域是机构的 executive 分支和那个地缘政治区域是地缘政治区域的 instance，然后那个机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 352-357	如果 %2 是 1% 的 government 类别和政体是神权政府的 subAttribute 和地缘政治区域是地缘政治区域的 instance，然后那个地缘政治区域的 Government 是宗教机构的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	如果 %2 是 1% 的 government 类别和地缘政治区域是地缘政治区域的 instance 和政体是议会政府的 subAttribute，然后有存在机构这样那个机构是议会的 instance 和那个机构是那个地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 242-246	如果 %2 是 1% 的 government 类别和施事体是地缘政治区域的 instance，然后君主是那个施事体的 leader 职位
No TPTP formula. May not be expressible in strict first order.	Government.kif 1336-1340	如果地缘政治区域的 executive 分支是机构的 instance 和那个地缘政治区域是地缘政治区域的 instance，然后那个地缘政治区域的 Government 是那个地缘政治区域的 executive 分支的 executive 分支
No TPTP formula. May not be expressible in strict first order.	Government.kif 2155-2159	如果地缘政治区域的 judiciary 是机构的 instance 和那个地缘政治区域是地缘政治区域的 instance，然后那个地缘政治区域的 Government 是那个地缘政治区域的 judiciary 的 judicial 分支
No TPTP formula. May not be expressible in strict first order.	Government.kif 2050-2054	如果地缘政治区域的 legislature 是机构的 instance 和那个地缘政治区域是地缘政治区域的 instance，然后那个地缘政治区域的 Government 是那个地缘政治区域的 legislature 的 legislative 分支
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8045-8052	如果地缘政治区域是地缘政治区域的 instance 和整数 equal 那个地缘政治区域的 citizenry instance 的数量和另一个整数 equal 那个地缘政治区域的 resident instance 的数量，然后那个另外整数是 greaterThanOrEqualTo 那个整数
No TPTP formula. May not be expressible in strict first order.	Government.kif 142-146	如果地缘政治区域是地缘政治区域的 instance 和 %2 是 1% 的 government 类别，然后政体是那个地缘政治区域的 Government 的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1157-1161	如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 exclusive 钓鱼区是专属捕鱼区的 instance，然后那个地缘政治区域是那个地缘政治区域的 exclusive 钓鱼区的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1189-1193	如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 extended 钓鱼区是延伸捕鱼区的 instance，然后那个地缘政治区域是那个地缘政治区域的 extended 钓鱼区的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	Government.kif 121-125	如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 Government 是国家政府的 instance，然后那个地缘政治区域是国家的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1050-1054	如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 maritime 鄰近區是海上毗连区的 instance，然后那个地缘政治区域是那个地缘政治区域的 maritime 鄰近區的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1125-1129	如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 maritime 隔离经济区是海上专属经济区的 instance，然后那个地缘政治区域是那个地缘政治区域的 maritime 隔离经济区的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1092-1096	如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 maritime 貨價區是海运货架区的 instance，然后那个地缘政治区域是那个地缘政治区域的 maritime 貨價區的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 978-982	如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 merchant 海洋是商船的 instance，然后那个地缘政治区域 possesses 那个地缘政治区域的 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	如果 DutyFree 是客体的 attribute 和那个客体是商店的 instance，然后有存在地缘政治区域，实体,，，另一个有点客体， and 和过程这样那个地缘政治区域是地缘政治区域的 instance 和那个客体是 located 在那个地缘政治区域和另一个有点客体是客体的 subclass 和那个另外有点客体是那个地缘政治区域的 import 商品种类和那个实体是那个另外有点客体的 instance 和那个过程是出售的 instance 和那个实体是那个过程的 patient 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	如果平民流离失所是实体的 attribute 和那个实体住在另一个实体和那个另外实体是 located 在地理区域在时距 holdsDuring 和那个地理区域是地理区域的 instance 和那个时距是时距的 instance，然后有存在另一个时距，第三实体-PLACE， and 和那个第三实体-RES 这样那个另外时距是时距的 instance 和那个另外时距比那个时距发生的earlier 和那个第三实体-RES 是客体的 instance 和那个第三实体-PLACE 是地缘政治区域的 instance 和那个第三实体-RES 是 located 在那个第三实体-PLACE 和那个地理区域不 equal 那个第三实体-PLACE 和那个另外实体不 equal 那个第三实体-RES 和那个地理区域不是那个第三实体-PLACE 的 geographic 次要地区和那个第三实体-PLACE 不是那个地理区域的 geographic 次要地区和那个实体住在那个第三实体-RES 在那个另外时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	如果施事体是施事体的 instance 和那个施事体的 election 是选举的 subclass，然后那个施事体是机构的 instance 或那个施事体是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2432-2445	如果过程是出口的 instance 和实体是那个过程的 patient 和地缘政治区域是地缘政治区域的 instance 和那个实体是 located 在那个地缘政治区域在那个过程出现的 time 的开始 holdsDuring，然后有存在另一个地缘政治区域这样那个另外地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域不是那个另外地缘政治区域的地缘政治部分和那个另外地缘政治区域不是那个地缘政治区域的地缘政治部分和那个实体是 located 在那个另外地缘政治区域在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13882-13886	如果过程是政治革命的 instance 和实体是那个过程的 patient，然后那个实体是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16905-16909	如果关系是经济关系的 instance 和那个关系的 1 数量是类的 instance，然后那个类是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	如果客体是购买的 instance 和 CBT 是那个客体的 attribute 和实体是那个客体的 patient 和那个实体是客体的 instance，然后有存在另一个客体，施事体,，，那个施事体_LOCATION， and 和那个另外客体_LOCATION 这样那个施事体是施事体的 instance 和那个另外客体是施事体的 instance 和那个施事体是那个客体的 agent 和那个另外客体是那个客体的源头和那个施事体_LOCATION 是地缘政治区域的 instance 和那个另外客体_LOCATION 是地缘政治区域的 instance 和那个另外客体是 located 在那个另外客体_LOCATION 和那个施事体是 located 在那个施事体_LOCATION 和那个施事体_LOCATION 不 equal 那个另外客体_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	如果客体是出售的 instance 和 CBT 是那个客体的 attribute 和实体是那个客体的 patient 和那个实体是客体的 instance，然后有存在施事体，物理,，，那个物理_LOCATION， and 和那个施事体_LOCATION 这样那个物理是施事体的 instance 和那个施事体是施事体的 instance 和那个客体在那个物理结束和那个施事体是那个客体的 agent 和那个物理_LOCATION 是地缘政治区域的 instance 和那个施事体_LOCATION 是地缘政治区域的 instance 和那个施事体是 located 在那个施事体_LOCATION 和那个物理是 located 在那个物理_LOCATION 和那个物理_LOCATION 不 equal 那个施事体_LOCATION
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13338-13349	如果过程是战争的 instance 和施事体是那个过程的 agent，然后那个施事体是地缘政治区域的 instance 或那个施事体是机构的 instance 和对所有物理如果那个物理是那个施事体的 member，然后那个物理是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3466-3473	如果施事体是国际法院的 member 和法官是那个施事体的 attribute，然后有存在另一个施事体这样那个另外施事体是地缘政治区域的 instance 和 %１是对于％３给代理％２的 representative 代理
No TPTP formula. May not be expressible in strict first order.	Government.kif 1363-1369	如果君主是人类的 attribute，然后有存在地缘政治区域这样那个地缘政治区域是地缘政治区域的 instance 和 %2 是 1% 的 government 类别和那个地缘政治区域州君主的 chief 对于那个人类
No TPTP formula. May not be expressible in strict first order.	Economy.kif 91-95	如果经济属性是施事体的 economy 类别，然后那个施事体是地缘政治区域的 instance 或那个施事体是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3704-3708	如果有点时距 equal 施事体的 fiscal 年，然后那个施事体是地缘政治区域的 instance 或那个施事体是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3732-3736	如果时距 equal 施事体和有点年的 fiscal 开始年分，然后那个施事体是地缘政治区域的 instance 或那个施事体是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1289-1293	如果施事体是机构的 executive 分支，然后那个机构是地缘政治区域的 instance 或那个机构是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 136-140	如果 %2 是 1% 的 government 类别，然后施事体是机构的 instance 或那个施事体是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1375-1390	如果过程是 Coronation 的 instance，然后有存在实体和另一个实体这样那个实体是人类的 instance 和那个实体是那个过程的 patient 和那个另外实体是地缘政治区域的 instance 和那个另外实体不是州君主的 chief 对于那个实体在那个过程出现的 time 的开始 holdsDuring 和那个另外实体州君主的 chief 对于那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2728-2741	如果群体是 GlobalCrossFunctionalTeam 的 instance，然后有存在物理，那个物理_LOC,，，另一个物理， and 和那个另外物理_LOC 这样那个物理是人类的 instance 和那个另外物理是人类的 instance 和那个物理_LOC 是地缘政治区域的 instance 和那个另外物理_LOC 是地缘政治区域的 instance 和那个物理是那个群体的 member 和那个另外物理是那个群体的 member 和那个物理是 located 在那个物理_LOC 和那个另外物理是 located 在那个另外物理_LOC 和那个物理_LOC 不 equal 那个另外物理_LOC
No TPTP formula. May not be expressible in strict first order.	Military.kif 788-793	如果军事组织是军事组织的 instance，然后有存在地缘政治区域这样那个地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域是那个军事组织的 military 区域
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3039-3049	如果实体是条约文件的 instance，然后有存在过程，施事体， and 和另一个施事体这样那个过程是承诺的 instance 和那个实体是那个过程的 patient 和那个施事体是地缘政治区域的 instance 和那个施事体是那个过程的 agent 和那个另外施事体是地缘政治区域的 instance 和那个另外施事体是那个过程的 agent 和那个施事体不 equal 那个另外施事体
No TPTP formula. May not be expressible in strict first order.	Government.kif 2102-2106	如果施事体是机构的 judicial 分支，然后那个机构是地缘政治区域的 instance 或那个机构是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2007-2011	如果施事体是机构的 legislative 分支，然后那个施事体是机构的 instance 或那个施事体是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1023-1027	如果持续时间是那个持续时间NT 的 suffrage 最大年纪，然后那个持续时间NT 是机构的 instance 或那个持续时间NT 是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 951-955	如果持续时间是那个持续时间NT 的 suffrage 最小年纪，然后那个持续时间NT 是机构的 instance 或那个持续时间NT 是地缘政治区域的 instance

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

KB Term:			Term intersection

English Word: