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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeographicArea
GeographicArea(geographic area)
مَنْطِقَة جُغْرَافِيَّة, 'hood, Achaea, Adelie_Coast, Adelie_Land, Andalucia, Andalusia, Andalusian, Antarctic, Antarctic_Zone, Appalachia, Appalachian, Arctic, AreaGeografica, Area_Geografica, 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...

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
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 697-702
No TPTP formula. May not be expressible in strict first order. Geography.kif 1668-1674
No TPTP formula. May not be expressible in strict first order. Geography.kif 1902-1913
No TPTP formula. May not be expressible in strict first order. Geography.kif 1881-1892
No TPTP formula. May not be expressible in strict first order. Geography.kif 1806-1811
No TPTP formula. May not be expressible in strict first order. Geography.kif 1799-1804
No TPTP formula. May not be expressible in strict first order. Geography.kif 1820-1825
No TPTP formula. May not be expressible in strict first order. Geography.kif 1813-1818
No TPTP formula. May not be expressible in strict first order. Weather.kif 504-510
No TPTP formula. May not be expressible in strict first order. Weather.kif 494-502
No TPTP formula. May not be expressible in strict first order. Weather.kif 555-561
No TPTP formula. May not be expressible in strict first order. Weather.kif 545-553
No TPTP formula. May not be expressible in strict first order. Weather.kif 529-537
No TPTP formula. May not be expressible in strict first order. Weather.kif 518-527
No TPTP formula. May not be expressible in strict first order. Geography.kif 1518-1524
No TPTP formula. May not be expressible in strict first order. Geography.kif 1264-1270
No TPTP formula. May not be expressible in strict first order. Geography.kif 490-495
No TPTP formula. May not be expressible in strict first order. Geography.kif 497-502
No TPTP formula. May not be expressible in strict first order. Merge.kif 14096-14102
No TPTP formula. May not be expressible in strict first order. Geography.kif 691-695
No TPTP formula. May not be expressible in strict first order. Geography.kif 342-346
No TPTP formula. May not be expressible in strict first order. Geography.kif 3456-3465
No TPTP formula. May not be expressible in strict first order. Geography.kif 3416-3425

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
No TPTP formula. May not be expressible in strict first order. Media.kif 2606-2611
No TPTP formula. May not be expressible in strict first order. Geography.kif 1842-1847
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 998-1012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10878-10883
No TPTP formula. May not be expressible in strict first order. Weather.kif 1044-1053
No TPTP formula. May not be expressible in strict first order. Weather.kif 1029-1042
No TPTP formula. May not be expressible in strict first order. Weather.kif 1375-1390
No TPTP formula. May not be expressible in strict first order. Weather.kif 1335-1344
No TPTP formula. May not be expressible in strict first order. Weather.kif 1323-1333
No TPTP formula. May not be expressible in strict first order. Weather.kif 395-401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24041-24049
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24029-24034
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19326-19341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4004-4013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20064-20069
No TPTP formula. May not be expressible in strict first order. Geography.kif 1660-1666


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