GeographicArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13899-13901
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13893-13898
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8505-8505	"http://upload.wikimedia.org/wikipedia/commons/d/d2/ Geabios3d.jpg" is a URL depicting geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13892-13892	Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13891-13891	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 13880-13880	Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8775-8775	Space region is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3448-3448	Antarctic area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3407-3407	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 3597-3597	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.	CountriesAndRegions.kif 2706-2706	Caritas poland chechnya 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 2735-2735	Clark airbase philippines is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2770-2770	Dang district nepal is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2791-2791	District of mansehra pakistan is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2812-2812	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 6269-6269	England is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2843-2843	Fethiye and marmaris turkey is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2846-2846	Florida 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 680-680	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 681-681	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 4530-4530	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 28325-28325	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 475-475	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 1895-1895	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 1874-1874	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 6237-6237	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 5693-5693	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 5750-5750	The number 1 argument of shoreline is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Offers.kif 319-319	The number 1 argument of TourOnAreaFn is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2196-2196	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 2010-2010	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 20421-20421	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 845-845	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 1277-1277	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 597-597	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 1525-1525	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 2540-2540	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 950-950	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 1227-1227	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 1598-1598	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 642-642	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 646-646	The number 4 argument of comparative area 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 1848-1853	If a length measure is an elevation of an object and the object is located at another object and the other object is an instance of geographic area, then the other object is a superficial part of planet earth
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	If dislocated civilian is an attribute of an organism and the organism lives in an object and the object is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, an entity-PLACE and the entity-RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the entity-RES is an instance of object and the entity-PLACE is an instance of geopolitical area and the entity-RES is located at the entity-PLACE and the geographic area is not equal to the entity-PLACE and the object is not equal to the entity-RES and the geographic area is not a geographic subregion of the entity-PLACE and the entity-PLACE is not a geographic subregion of the geographic area and the organism lives in the entity-RES holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 697-702	If the border of a geographic area and another geographic area is an instance of geographic area and the geographic area is an instance of nation and the other geographic area is an instance of nation, then the border of the geographic area and the other geographic area is an instance of international border
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1668-1674	If a geographic area is an instance of geographic area and a terrain attribute is an attribute of an object and the terrain attribute is an instance of terrain attribute and the object is partly located in the geographic area, then the terrain attribute is a terrain in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1902-1913	If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a length measure is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another length measure such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation high point of the geographic area and the other length measure is an elevation of the other geographic area and the other length measure is greater than the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1881-1892	If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and a length measure is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another length measure such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation low point of the geographic area and the other length measure is an elevation of the other geographic area and the other length measure is less than the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1806-1811	If an object is an instance of geographic area and a process is an instance of volcanic eruption and the process is located at 2, then geologically stable is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1799-1804	If an object is an instance of geographic area and another object is an instance of volcano and volcanically active is an attribute of the other object, then geologically stable is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1820-1825	If an object is an instance of geographic area and a physical is an instance of geological fault and the physical is located at the object, then geologically stable is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1813-1818	If an object is an instance of geographic area and a process is an instance of earth tremor and the process is located at 2, then geologically stable is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 504-510	If a region is an instance of geographic area and a process is an instance of clear weather and the process is located at 2 and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is less than 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 494-502	If a region is an instance of geographic area and a process is an instance of clear weather and the process is located at 2, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is less than 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 555-561	If a region is an instance of geographic area and a process is an instance of overcast weather and the process is located at 2 and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is greater than 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 545-553	If a region is an instance of geographic area and a process is an instance of overcast weather and the process is located at 2, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is greater than 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 529-537	If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at 2 and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 518-527	If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at 2, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1518-1524	If a geographic area is an instance of geographic area and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure and 10 celsius degree(s) is greater than the temperature measure, then the geographic area is an instance of polar climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1264-1270	If a geographic area is an instance of tropical climate zone and a time duration is a subclass of month and the geographic area is an instance of geographic area and the geographic area average temperature for period the time duration for a temperature measure, then the temperature measure is greater than 18 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 490-495	If a directional attribute is an instance of directional attribute and a geographic area is an instance of geographic area and the directional subregion of the directional attribute and the geographic area is an instance of geographic area, then the directional subregion of the directional attribute and the geographic area is a geographic subregion of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 497-502	If a directional attribute is an instance of directional attribute and a geographic area is an instance of geographic area and the directional subregion of the directional attribute and the geographic area is an instance of geographic area, then the directional subregion of the directional attribute and the geographic area is the directional attribute to the geographic center of the geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14096-14102	If an object is an instance of island and another object is an instance of geographic area and the object meets the other object, then the other object is not an instance of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 691-695	If a geographic area is an instance of geographic area and another geographic area is an instance of geographic area, then the border of the geographic area and the other geographic area is equal to the border of the other geographic area and the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 342-346	If a geographic area is an instance of geographic area and the geographic center of the geographic area is an instance of geographic area, then the geographic center of the geographic area is a geographic subregion of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3456-3465	If an object is an instance of geographic area and the object is located at antarctic area, then there exists an entity such that the entity is an instance of day and illuminated is not an attribute of the object holds during the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3416-3425	If an object is an instance of geographic area and the object is located at arctic region, then there exists an entity such that the entity is an instance of day and illuminated is not an attribute of the object holds during the entity

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.	Geography.kif 1234-1240	If a kind of climate zone is a climate type in area of a geographic area, then there exists an object such that the object is an instance of geographic area and the object is an instance of a kind of climate zone and the object is a part of the geographic area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2606-2611	If an entity in ISO-3166-1-alpha-2 denotes another entity, then the other entity is an instance of geographic area and the entity is an instance of AlphabeticString and the entity is 2 characters long
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1842-1847	If a length measure is an elevation of an object, then there exists another object such that the other object is an instance of geographic area and the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 998-1012	If an object is an instance of ground attack missile, then the object has purpose there exist a physical, another object and a process such that the object is an instrument for the process and the physical is a patient of the process and the process is an instance of damaging and the other object is an instance of geographic area and the object is located at the other object and the physical is located at the other object holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10878-10883	If an entity is an instance of map, then there exists another entity such that the other entity is an instance of geographic area and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1044-1053	If a process is an instance of blizzard, then there exist a region and a real number such that the region is an instance of geographic area and the process is located at 2 and the visibility at the region during the time of existence of the process is the real number meter(s) and the real number is less than 400
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1029-1042	If a process is an instance of blizzard, then there exist an object, a real number and another real number such that the object is an instance of geographic area and the process is located at 2 and the real number knot unit of speed(s) is a surface wind speed of the object and the real number is greater than 35 and duration of the time of existence of the process is the other real number hour duration(s) and the other real number is greater than 3 holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1375-1390	If a process is an instance of snow storm, then there exist another process, a geographic area and a real number such that the other process is an instance of snowing and the geographic area is an instance of geographic area and the other process is located at 2 and the other process is a subprocess of the process and the rate of snow falling at the geographic area during the time of existence of the other process is the per of the real number centimeter(s) and 1 hour duration(s) and the real number is greater than 5 holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1335-1344	If a physical is an instance of storm, then there exist an object and a real number such that the object is an instance of geographic area and the real number knot unit of speed(s) is a surface wind speed of the object and the real number is greater than 30 holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1323-1333	If a process is an instance of storm, then the statement there exist another process and an entity such that the other process is an instance of precipitation and the entity is an instance of geographic area and the other process is located at 2 and the other process is a subprocess of the process has the modal force of likely holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 395-401	If a process is an instance of tropical cyclone, then there exists a geographic area such that the geographic area is an instance of geographic area and the geographic area is a geographic subregion of tropics and the process is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24041-24049	If an entity is an instance of dining guide, then there exist an object and a physical such that the object is an instance of geographic area and the entity includes a reference to the object and the physical is an instance of restaurant and the physical is located at the object and the entity includes a reference to the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24029-24034	If an entity is an instance of guide book, then there exists another entity such that the other entity is an instance of geographic area and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19326-19341	If a physical is an instance of kidnapping, then there exist another physical, an object and another object such that the other physical is an instance of sentient agent and the object is an instance of geographic area and the other object is an instance of geographic area and the object is not equal to the other object and the other physical is located at the object holds during immediately before the time of existence of the physical and the other physical is located at the other object holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4004-4013	If an object is an instance of land vehicle, then the object has purpose there exist a physical and a self connected object such that the self connected object is a surface of geographic area and the physical is an instance of transportation and the object meets the self connected object holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20064-20069	If an object is an instance of subway system, then there exists a self connected object such that the self connected object is a surface of geographic area and the object is below to the self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1660-1666	If a terrain attribute is a terrain in area of a geographic area, then there exists an object such that the object is an instance of geographic area and the terrain attribute is an attribute of the object and the object is partly located in the geographic area

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: