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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeographicArea

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 13802-13807
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 13801-13801 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13800-13800 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 13792-13792 Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8717-8717 Space region is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3545-3545 Antarctic area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3483-3483 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 6634-6634 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 4755-4755 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 30134-30134 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 1960-1960 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 1936-1936 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 6602-6602 The number 2 argument of GeographicPartTypeFn is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Weather.kif 2217-2217 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 2322-2322 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 2287-2287 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 2252-2252 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 1898-1898 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 1992-1992 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 6008-6008 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 6065-6065 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 2032-2032 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 2233-2233 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 2075-2075 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 22462-22462 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 1219-1219 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 1310-1310 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 beliefGroupPercentInRegion 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 1910-1915
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 1730-1736
No TPTP formula. May not be expressible in strict first order. Geography.kif 1967-1978
No TPTP formula. May not be expressible in strict first order. Geography.kif 1943-1957
No TPTP formula. May not be expressible in strict first order. Geography.kif 1868-1873
No TPTP formula. May not be expressible in strict first order. Geography.kif 1861-1866
No TPTP formula. May not be expressible in strict first order. Geography.kif 1882-1887
No TPTP formula. May not be expressible in strict first order. Geography.kif 1578-1585
No TPTP formula. May not be expressible in strict first order. Geography.kif 1875-1880
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 2599-2607
No TPTP formula. May not be expressible in strict first order. Weather.kif 2536-2549
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 2565-2579
No TPTP formula. May not be expressible in strict first order. Weather.kif 2589-2597
No TPTP formula. May not be expressible in strict first order. Merge.kif 13977-13983

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 1650-1671
No TPTP formula. May not be expressible in strict first order. Geography.kif 1261-1267
No TPTP formula. May not be expressible in strict first order. Media.kif 2622-2627
No TPTP formula. May not be expressible in strict first order. Geography.kif 1904-1909
No TPTP formula. May not be expressible in strict first order. Geography.kif 6195-6204
No TPTP formula. May not be expressible in strict first order. Weather.kif 1260-1272
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 12808-12813
No TPTP formula. May not be expressible in strict first order. Weather.kif 1731-1741
No TPTP formula. May not be expressible in strict first order. Weather.kif 2641-2650
No TPTP formula. May not be expressible in strict first order. Weather.kif 2626-2639
No TPTP formula. May not be expressible in strict first order. Weather.kif 2939-2954
No TPTP formula. May not be expressible in strict first order. Weather.kif 2904-2913
No TPTP formula. May not be expressible in strict first order. Weather.kif 2892-2902
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 25906-25914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25894-25899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21526-21541
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3433-3442
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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