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 13032-13037 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8505-8505 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13031-13031 | Geographic area is exhaustively partitioned into water area and land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13030-13030 | 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 13022-13022 | Astronomical body is disjoint from geographic area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8771-8771 | Space region is disjoint from geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3461-3461 | Antarctic area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3420-3420 | Arctic region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2645-2645 | Bet lid junction israel is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3595-3595 | The Kyrgyz capital Bishkek is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2670-2670 | Bosphorous straits turkey is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2687-2687 | 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 2732-2732 | Clark airbase philippines is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2767-2767 | Dang district nepal is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2788-2788 | District of mansehra pakistan is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2809-2809 | 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 6377-6377 | 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 687-687 | 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 688-688 | 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 4558-4558 | 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 28807-28807 | The number 1 argument of DemonymFn 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 1907-1907 | 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 1886-1886 | 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 6345-6345 | The number 2 argument of GeographicPartTypeFn is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5800-5800 | 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 5857-5857 | The number 1 argument of shoreline is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2190-2190 | 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. | Geography.kif 2022-2022 | 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 20857-20857 | 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 840-840 | 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 1289-1289 | The number 1 argument of average rainfall for period is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 596-596 | The number 1 argument of average temperature for period is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | People.kif 1529-1529 | The number 3 argument of beliefGroupPercentInRegion is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2552-2552 | The number 1 argument of bioindicator for habitat is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 963-963 | The number 1 argument of claimed territory is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1239-1239 | The number 1 argument of climate type in area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1610-1610 | The number 1 argument of cold season in area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 645-645 | The number 1 argument of comparative area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 649-649 | The number 4 argument of comparative area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1590-1590 | The number 1 argument of cool season in area is an instance of geographic area |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |