GeographicArea(geographic area)![]() | ![]() | 'hood, Achaea, Adelie_Coast, Adelie_Land, Andalucia, Andalusia, Andalusian, Antarctic, Antarctic_Zone, Appalachia, Appalachian, Arctic, Atacama_Trench, Atlantic, Australasian, Austria-Hungary, Baltic, Bermuda_Triangle, Bible_Belt, Bithynia, Bluegrass, Bluegrass_Country, Bluegrass_Region, Bohemia, Bougainville_Trench, Brandenburg, British_East_Africa, British_West_Africa, Caledonia, Camp_David, Canal_Zone, Canara, Cappadocia, Carolina, Carolinas, Caucasian, Caucasic, Chaldaea, Chaldea, Coats_Land, Cumbria, DMZ, Dakota, Dalmatian, Dar_al-harb, Earth's_crust, Earth's_surface, East, East_Anglia, East_Coast... |
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 14055-14060 | |
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 14054-14054 | Geographic area is exhaustively partitioned into water area and land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14053-14053 | Geographic area is a subclass of region |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14045-14045 | Astronomical body is disjoint from geographic area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9067-9067 | Space region is disjoint from geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3623-3623 | Antarctic area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3561-3561 | Arctic region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2644-2644 | Bet lid junction israel is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3594-3594 | The Kyrgyz capital Bishkek is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2669-2669 | Bosphorous straits turkey is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2686-2686 | Bwindiforest uganda is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 93-93 | Caribbean region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 78-78 | Central africa is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 100-100 | Central asia is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 84-84 | Central europe is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 95-95 | Central south america is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2731-2731 | Clark airbase philippines is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2766-2766 | Dang district nepal is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2787-2787 | District of mansehra pakistan is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2808-2808 | Dushanbe airport tajikistan is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 79-79 | Eastern africa is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 101-101 | Eastern asia is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 85-85 | Eastern europe is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 96-96 | Eastern south america is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6946-6946 | England is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2839-2839 | Fethiye and marmaris turkey is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2842-2842 | Florida is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1389-1389 | Gaza strip is an instance of geographic area |
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 | The number 1 argument of border is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | The number 2 argument of border is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4857-4857 | The number 1 argument of datum is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30618-30618 | The number 1 argument of Demonym fn is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 478-478 | The number 2 argument of directional subregion is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1957-1957 | The number 1 argument of elevation high point is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1933-1933 | The number 1 argument of elevation low point is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 335-335 | The number 1 argument of geographic center is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6914-6914 | The number 2 argument of geographic part type fn is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2214-2214 | The number 1 argument of ten minute mean surface wind speed is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2319-2319 | The number 1 argument of one minute mean surface wind speed is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2284-2284 | The number 1 argument of two minute mean surface wind speed is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2249-2249 | The number 1 argument of three minute mean surface wind speed is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1895-1895 | The number 1 argument of three second mean surface wind speed is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1989-1989 | The number 1 argument of mean three second wind speed list is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31724-31724 | The number 2 argument of population of organisms is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6111-6111 | The number 1 argument of seacoast is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6168-6168 | The number 1 argument of shoreline is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2029-2029 | The number 1 argument of three second gust speed is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2236-2236 | The number 2 argument of agent operates in area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3088-3088 | The number 1 argument of airQualityIndex is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2072-2072 | The number 1 argument of arable land area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22929-22929 | The number 3 argument of area of responsibility is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1216-1216 | The number 1 argument of average precipitation for period is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1305-1305 | The number 1 argument of average rainfall for period is an instance of geographic area |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |