GeopoliticalArea(地缘政治区域) |
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 |
|
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 |