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, 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. Merge.kif 14036-14038
No TPTP formula. May not be expressible in strict first order. Merge.kif 14030-14035
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 14029-14029 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14028-14028 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 14017-14017 Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8787-8787 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 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 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 6268-6268 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 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 4529-4529 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 28766-28766 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 6236-6236 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 5692-5692 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 5749-5749 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 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 20813-20813 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
No TPTP formula. May not be expressible in strict first order. Geography.kif 1578-1578 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
-------------------------


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 14233-14239
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 10890-10895
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 24482-24490
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24470-24475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19745-19760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4008-4017
No TPTP formula. May not be expressible in strict first order. Transportation.kif 325-330
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