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 14186-14191
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8501-8501
No TPTP formula. May not be expressible in strict first order. Merge.kif 14185-14185 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14184-14184 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 14176-14176 Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10274-10274 Space region is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3781-3781 Antarctic area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3719-3719 Arctic region is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2647-2647 Bet lid junction israel is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3592-3592 The Kyrgyz capital Bishkek is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2672-2672 Bosphorous straits turkey is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2689-2689 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 2734-2734 Clark airbase philippines is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2768-2768 Dang district nepal is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2789-2789 District of mansehra pakistan is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2810-2810 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 7283-7283 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 853-853 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 854-854 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 5111-5111 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 32564-32564 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 648-648 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 2115-2115 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 2091-2091 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 505-505 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 7251-7251 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 3047-3047 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 3152-3152 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 3117-3117 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 3082-3082 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 2728-2728 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 2822-2822 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 33675-33675 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 6414-6414 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 6471-6471 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 2862-2862 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 2197-2197 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 3922-3922 The number 1 argument of air quality index is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 2230-2230 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 24571-24571 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 1455-1455 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 1469-1469 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 2065-2070
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 870-875
No TPTP formula. May not be expressible in strict first order. Geography.kif 1885-1891
No TPTP formula. May not be expressible in strict first order. Geography.kif 2122-2133
No TPTP formula. May not be expressible in strict first order. Geography.kif 2098-2112
No TPTP formula. May not be expressible in strict first order. Geography.kif 2023-2028
No TPTP formula. May not be expressible in strict first order. Geography.kif 2016-2021
No TPTP formula. May not be expressible in strict first order. Geography.kif 2037-2042
No TPTP formula. May not be expressible in strict first order. Geography.kif 1739-1746
No TPTP formula. May not be expressible in strict first order. Geography.kif 2030-2035
No TPTP formula. May not be expressible in strict first order. Weather.kif 1127-1133
No TPTP formula. May not be expressible in strict first order. Weather.kif 1117-1125
No TPTP formula. May not be expressible in strict first order. Weather.kif 1178-1184
No TPTP formula. May not be expressible in strict first order. Weather.kif 1168-1176
No TPTP formula. May not be expressible in strict first order. Weather.kif 1152-1160
No TPTP formula. May not be expressible in strict first order. Weather.kif 1141-1150
No TPTP formula. May not be expressible in strict first order. Geography.kif 3950-3962
No TPTP formula. May not be expressible in strict first order. Geography.kif 3966-3978
No TPTP formula. May not be expressible in strict first order. Geography.kif 663-668
No TPTP formula. May not be expressible in strict first order. Geography.kif 670-675
No TPTP formula. May not be expressible in strict first order. Weather.kif 3429-3437
No TPTP formula. May not be expressible in strict first order. Weather.kif 3366-3379
No TPTP formula. May not be expressible in strict first order. Weather.kif 1930-1946
No TPTP formula. May not be expressible in strict first order. Weather.kif 1953-1967

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 1005-1011
No TPTP formula. May not be expressible in strict first order. Weather.kif 2480-2501
No TPTP formula. May not be expressible in strict first order. Biography.kif 256-270
No TPTP formula. May not be expressible in strict first order. Biography.kif 287-303
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3242-3266
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3275-3299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28521-28523
No TPTP formula. May not be expressible in strict first order. Geography.kif 1418-1425
No TPTP formula. May not be expressible in strict first order. Media.kif 2638-2643
No TPTP formula. May not be expressible in strict first order. Geography.kif 2059-2064
No TPTP formula. May not be expressible in strict first order. Geography.kif 6605-6615
No TPTP formula. May not be expressible in strict first order. Weather.kif 1977-1989
No TPTP formula. May not be expressible in strict first order. Weather.kif 724-735
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14627-14632
No TPTP formula. May not be expressible in strict first order. Weather.kif 2561-2571
No TPTP formula. May not be expressible in strict first order. Weather.kif 3471-3480
No TPTP formula. May not be expressible in strict first order. Weather.kif 3456-3469
No TPTP formula. May not be expressible in strict first order. Weather.kif 3770-3785
No TPTP formula. May not be expressible in strict first order. Weather.kif 3735-3744
No TPTP formula. May not be expressible in strict first order. Weather.kif 3723-3733
No TPTP formula. May not be expressible in strict first order. Weather.kif 603-609
No TPTP formula. May not be expressible in strict first order. Weather.kif 758-769
No TPTP formula. May not be expressible in strict first order. Weather.kif 665-675
No TPTP formula. May not be expressible in strict first order. Weather.kif 644-654
No TPTP formula. May not be expressible in strict first order. Weather.kif 700-711

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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