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 13444-13449
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 13443-13443 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13442-13442 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 13434-13434 Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8645-8645 Space region is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3528-3528 Antarctic area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3466-3466 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 6543-6543 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 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 4668-4668 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 29980-29980 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 1952-1952 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 1928-1928 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 6511-6511 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 2213-2213 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 2318-2318 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 2283-2283 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 2248-2248 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 1900-1900 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 1988-1988 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 5918-5918 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 5975-5975 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 2028-2028 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 2222-2222 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 2067-2067 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 22325-22325 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 1302-1302 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 1534-1534 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 1902-1907
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 1722-1728
No TPTP formula. May not be expressible in strict first order. Geography.kif 1959-1970
No TPTP formula. May not be expressible in strict first order. Geography.kif 1935-1949
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. Geography.kif 1853-1858
No TPTP formula. May not be expressible in strict first order. Geography.kif 1874-1879
No TPTP formula. May not be expressible in strict first order. Geography.kif 1570-1577
No TPTP formula. May not be expressible in strict first order. Geography.kif 1867-1872
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 2595-2603
No TPTP formula. May not be expressible in strict first order. Weather.kif 2532-2545
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 2561-2575
No TPTP formula. May not be expressible in strict first order. Weather.kif 2585-2593
No TPTP formula. May not be expressible in strict first order. Merge.kif 13619-13625

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 1652-1673
No TPTP formula. May not be expressible in strict first order. Geography.kif 1253-1259
No TPTP formula. May not be expressible in strict first order. Media.kif 2618-2623
No TPTP formula. May not be expressible in strict first order. Geography.kif 1896-1901
No TPTP formula. May not be expressible in strict first order. Geography.kif 6104-6113
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 12722-12727
No TPTP formula. May not be expressible in strict first order. Weather.kif 1733-1743
No TPTP formula. May not be expressible in strict first order. Weather.kif 2637-2646
No TPTP formula. May not be expressible in strict first order. Weather.kif 2622-2635
No TPTP formula. May not be expressible in strict first order. Weather.kif 2935-2950
No TPTP formula. May not be expressible in strict first order. Weather.kif 2900-2909
No TPTP formula. May not be expressible in strict first order. Weather.kif 2888-2898
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 25762-25770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25750-25755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21389-21404
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3405-3414
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