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 13892-13897
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8503-8503
No TPTP formula. May not be expressible in strict first order. Merge.kif 13891-13891 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13890-13890 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 13882-13882 Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9028-9028 Space region is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3556-3556 Antarctic area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3494-3494 Arctic region is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2644-2644 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 2669-2669 Bosphorous straits turkey is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2686-2686 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 2731-2731 Clark airbase philippines is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2766-2766 Dang district nepal is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2787-2787 District of mansehra pakistan is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2808-2808 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 6646-6646 England is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2839-2839 Fethiye and marmaris turkey is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2842-2842 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 695-695 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 696-696 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 4766-4766 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 30546-30546 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 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 1962-1962 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 1938-1938 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 6614-6614 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 2218-2218 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 2323-2323 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 2288-2288 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 2253-2253 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 1899-1899 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 1993-1993 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. Geography.kif 6019-6019 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 6076-6076 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 2033-2033 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 2236-2236 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 2077-2077 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 22880-22880 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 1220-1220 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 1312-1312 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 985-985 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 1553-1553 The number 3 argument of belief group percent in region 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 1912-1917
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 712-717
No TPTP formula. May not be expressible in strict first order. Geography.kif 1732-1738
No TPTP formula. May not be expressible in strict first order. Geography.kif 1969-1980
No TPTP formula. May not be expressible in strict first order. Geography.kif 1945-1959
No TPTP formula. May not be expressible in strict first order. Geography.kif 1870-1875
No TPTP formula. May not be expressible in strict first order. Geography.kif 1863-1868
No TPTP formula. May not be expressible in strict first order. Geography.kif 1884-1889
No TPTP formula. May not be expressible in strict first order. Geography.kif 1580-1587
No TPTP formula. May not be expressible in strict first order. Geography.kif 1877-1882
No TPTP formula. May not be expressible in strict first order. Weather.kif 892-898
No TPTP formula. May not be expressible in strict first order. Weather.kif 882-890
No TPTP formula. May not be expressible in strict first order. Weather.kif 943-949
No TPTP formula. May not be expressible in strict first order. Weather.kif 933-941
No TPTP formula. May not be expressible in strict first order. Weather.kif 917-925
No TPTP formula. May not be expressible in strict first order. Weather.kif 906-915
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. Weather.kif 2600-2608
No TPTP formula. May not be expressible in strict first order. Weather.kif 2537-2550
No TPTP formula. May not be expressible in strict first order. Weather.kif 753-763
No TPTP formula. May not be expressible in strict first order. Weather.kif 2566-2580
No TPTP formula. May not be expressible in strict first order. Weather.kif 2590-2598
No TPTP formula. May not be expressible in strict first order. Merge.kif 14067-14073

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 1651-1672
No TPTP formula. May not be expressible in strict first order. Geography.kif 1261-1268
No TPTP formula. May not be expressible in strict first order. Media.kif 2636-2641
No TPTP formula. May not be expressible in strict first order. Geography.kif 1906-1911
No TPTP formula. May not be expressible in strict first order. Geography.kif 6206-6216
No TPTP formula. May not be expressible in strict first order. Weather.kif 1261-1273
No TPTP formula. May not be expressible in strict first order. Weather.kif 740-751
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 13136-13141
No TPTP formula. May not be expressible in strict first order. Weather.kif 1732-1742
No TPTP formula. May not be expressible in strict first order. Weather.kif 2642-2651
No TPTP formula. May not be expressible in strict first order. Weather.kif 2627-2640
No TPTP formula. May not be expressible in strict first order. Weather.kif 2940-2955
No TPTP formula. May not be expressible in strict first order. Weather.kif 2905-2914
No TPTP formula. May not be expressible in strict first order. Weather.kif 2893-2903
No TPTP formula. May not be expressible in strict first order. Weather.kif 619-625
No TPTP formula. May not be expressible in strict first order. Weather.kif 774-785
No TPTP formula. May not be expressible in strict first order. Weather.kif 681-691
No TPTP formula. May not be expressible in strict first order. Weather.kif 660-670
No TPTP formula. May not be expressible in strict first order. Weather.kif 716-727
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26336-26344
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26324-26329
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21909-21924
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3437-3446
No TPTP formula. May not be expressible in strict first order. Transportation.kif 328-333

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