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 | 劃分 GeographicArea, WaterArea and LandArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14031-14031 | 子類 GeographicArea and Region |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14023-14023 | 不相交的 AstronomicalBody and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9068-9068 | 不相交的 空間區域 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3623-3623 | 例 南極地區 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3561-3561 | 例 北極地區 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2644-2644 | 例 bet lid 以色列交界處 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3594-3594 | 例 吉爾吉斯首都比什凱克 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2669-2669 | 例 博斯普魯斯海峽火雞 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2686-2686 | 例 bwindiforest烏干達 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 93-93 | 例 加勒比地區 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 78-78 | 例 中非 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 100-100 | 例 中亞 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 84-84 | 例 歐洲中部 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 95-95 | 例 中南美洲 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2731-2731 | 例 克拉克空軍基地菲律賓 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2766-2766 | 例 尼泊爾 dang 地區 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2787-2787 | 例 曼西拉巴基斯坦區 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2808-2808 | 例 杜尚別機場塔吉克斯坦 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 79-79 | 例 東非 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 101-101 | 例 東亞 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 85-85 | 例 東歐洲 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 96-96 | 例 東南美洲 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6946-6946 | 例 England and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2839-2839 | 例 費特希耶和馬爾馬里斯火雞 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2842-2842 | 例 佛羅里達 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1389-1389 | 例 加沙地帶 and GeographicArea |
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 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | 域 邊界, 2 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4857-4857 | 域 基準, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30630-30630 | 域 DemonymFn, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 478-478 | 域 定向分區域, 2 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1957-1957 | 域 海拔高點, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1933-1933 | 域 海拔低點, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 335-335 | 域 地理中心, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6914-6914 | 域 GeographicPartTypeFn, 2 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2218-2218 | 域 Mean10MinutesWindSpeedFn, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2323-2323 | 域 Mean1MinuteWindSpeedFn, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2288-2288 | 域 Mean2MinutesWindSpeedFn, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2253-2253 | 域 Mean3MinutesWindSpeedFn, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1899-1899 | 域 Mean3SecondWindSpeedFn, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1993-1993 | 域 Mean3SecondWindSpeedListFn, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31728-31728 | 域 OrganismPopulationFn, 2 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6111-6111 | 域 海岸, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6168-6168 | 域 海岸線, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2033-2033 | 域 ThreeSecondGustSpeedFn, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2236-2236 | 域 代理人在區域內經營, 2 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3092-3092 | 域 airQualityIndex, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2072-2072 | 域 耕地面積, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22930-22930 | 域 責任範圍, 3 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1220-1220 | 域 期間平均降水量, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1305-1305 | 域 期間平均降雨量, 1 and GeographicArea |
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 |