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. chinese_format.kif 1435-1437
No TPTP formula. May not be expressible in strict first order. Merge.kif 13012-13017
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 13011-13011 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13010-13010 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 13002-13002 Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8769-8769 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 6284-6284 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 4543-4543 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 28799-28799 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 6252-6252 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 5707-5707 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 5764-5764 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 20851-20851 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1860-1865
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 704-709
No TPTP formula. May not be expressible in strict first order. Geography.kif 1680-1686
No TPTP formula. May not be expressible in strict first order. Geography.kif 1914-1925
No TPTP formula. May not be expressible in strict first order. Geography.kif 1893-1904
No TPTP formula. May not be expressible in strict first order. Geography.kif 1818-1823
No TPTP formula. May not be expressible in strict first order. Geography.kif 1811-1816
No TPTP formula. May not be expressible in strict first order. Geography.kif 1832-1837
No TPTP formula. May not be expressible in strict first order. Geography.kif 1825-1830
No TPTP formula. May not be expressible in strict first order. Weather.kif 503-509
No TPTP formula. May not be expressible in strict first order. Weather.kif 493-501
No TPTP formula. May not be expressible in strict first order. Weather.kif 554-560
No TPTP formula. May not be expressible in strict first order. Weather.kif 544-552
No TPTP formula. May not be expressible in strict first order. Weather.kif 528-536
No TPTP formula. May not be expressible in strict first order. Weather.kif 517-526
No TPTP formula. May not be expressible in strict first order. Geography.kif 1530-1536
No TPTP formula. May not be expressible in strict first order. Geography.kif 1276-1282
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. Merge.kif 13187-13193
No TPTP formula. May not be expressible in strict first order. Geography.kif 698-702
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 3469-3478
No TPTP formula. May not be expressible in strict first order. Geography.kif 3429-3438

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 1246-1252
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 1854-1859
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 10921-10926
No TPTP formula. May not be expressible in strict first order. Weather.kif 1358-1367
No TPTP formula. May not be expressible in strict first order. Weather.kif 1343-1356
No TPTP formula. May not be expressible in strict first order. Weather.kif 1689-1704
No TPTP formula. May not be expressible in strict first order. Weather.kif 1649-1658
No TPTP formula. May not be expressible in strict first order. Weather.kif 1637-1647
No TPTP formula. May not be expressible in strict first order. Weather.kif 394-400
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24520-24528
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24508-24513
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19783-19798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4010-4019
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 1672-1678


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 3.0 is open source software produced by Articulate Software and its partners