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 14186-14191 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8501-8501 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14185-14185 | Geographic area is exhaustively partitioned into water area and land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14184-14184 | 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 14176-14176 | Astronomical body is disjoint from geographic area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10274-10274 | Space region is disjoint from geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3781-3781 | Antarctic area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3719-3719 | Arctic region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2647-2647 | Bet lid junction israel is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3592-3592 | The Kyrgyz capital Bishkek is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2672-2672 | Bosphorous straits turkey is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2689-2689 | 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 2734-2734 | Clark airbase philippines is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2768-2768 | Dang district nepal is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2789-2789 | District of mansehra pakistan is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2810-2810 | 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 7283-7283 | England is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2840-2840 | Fethiye and marmaris turkey is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2843-2843 | 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 853-853 | 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 854-854 | 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 5111-5111 | 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 32564-32564 | 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 648-648 | 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 2115-2115 | 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 2091-2091 | 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 505-505 | 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 7251-7251 | 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 3047-3047 | 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 3152-3152 | 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 3117-3117 | 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 3082-3082 | 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 2728-2728 | 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 2822-2822 | 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 33675-33675 | 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 6414-6414 | 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 6471-6471 | 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 2862-2862 | 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 2197-2197 | 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 3922-3922 | The number 1 argument of air quality index is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2230-2230 | 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 24571-24571 | 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 1455-1455 | 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 1469-1469 | 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 |
![]() |
![]() |
![]() |