Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeographicArea

Sigma KEE - GeographicArea
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 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 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14031-14031 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 14023-14023 Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9068-9068 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 30630-30630 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 2218-2218 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 2323-2323 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 2288-2288 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 2253-2253 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 1899-1899 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 1993-1993 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 31728-31728 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 2033-2033 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 3092-3092 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 22930-22930 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 1220-1220 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
-------------------------


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners