GeographicArea
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1435-1437 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14033-14038 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8502-8502 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14032-14032 | 地理区域 详尽无遗地 partition 成 水域 和 土地面积 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14031-14031 | 地理区域 是 地区 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14023-14023 | 天文体 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9068-9068 | 空间区域 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3623-3623 | 南极地区 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3561-3561 | 北极地区 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2644-2644 | Bet lid 以色列交界处 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3594-3594 | 吉尔吉斯首都比什凯克 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2669-2669 | 博斯普鲁斯海峡火鸡 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2686-2686 | Bwindiforest乌干达 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 93-93 | 加勒比地区 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 78-78 | 中非 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 100-100 | 中亚 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 84-84 | 欧洲中部 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 95-95 | 中南美洲 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2731-2731 | 克拉克空军基地菲律宾 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2766-2766 | 尼泊尔 dang 地区 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2787-2787 | 曼西拉巴基斯坦区 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2808-2808 | 杜尚别机场塔吉克斯坦 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 79-79 | 东非 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 101-101 | 东亚 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 85-85 | 东欧洲 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 96-96 | 东南美洲 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6946-6946 | England 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2839-2839 | 费特希耶和马尔马里斯火鸡 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2842-2842 | 佛罗里达 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1389-1389 | 加沙地带 是 地理区域 的 instance |
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. | Geography.kif 688-688 | 边界 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | 边界 的 2 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4857-4857 | 基准 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30630-30630 | DemonymFn 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 478-478 | 定向分区域 的 2 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1957-1957 | 海拔高点 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1933-1933 | 海拔低点 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 335-335 | 地理中心 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6914-6914 | GeographicPartTypeFn 的 2 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2218-2218 | 10分钟平均地面风速 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2323-2323 | 1分钟平均地面风速 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2288-2288 | 2分钟平均地面风速 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2253-2253 | 3分钟平均地面风速 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1899-1899 | 3秒平均地面风速 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1993-1993 | 平均3秒风速表列 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31728-31728 | OrganismPopulationFn 的 2 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6111-6111 | 海岸 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6168-6168 | 海岸线 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2033-2033 | 3秒阵风风速 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2236-2236 | 代理人在区域内经营 的 2 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3092-3092 | airQualityIndex 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2072-2072 | 耕地面积 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22930-22930 | 所负责的地区 的 3 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1220-1220 | 期间平均降水量 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1305-1305 | 期间平均降雨量 的 1 数量 是 地理区域 的 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. | Geography.kif 1907-1912 | |
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. | Geography.kif 705-710 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1727-1733 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1964-1975 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1940-1954 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1865-1870 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1858-1863 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1879-1884 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1575-1582 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1872-1877 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 892-898 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 882-890 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 943-949 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 933-941 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 917-925 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 906-915 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 493-498 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 500-505 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2600-2608 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2537-2550 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 753-763 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2566-2580 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2590-2598 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14208-14214 | |
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. | Weather.kif 1651-1672 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 250-264 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 280-296 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26622-26624 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1254-1261 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2636-2641 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1901-1906 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6302-6312 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1261-1273 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 740-751 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 999-1013 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13288-13293 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1732-1742 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2642-2651 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2627-2640 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2940-2955 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2905-2914 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2893-2903 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 619-625 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 774-785 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 681-691 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 660-670 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 716-727 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26427-26435 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26415-26420 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |