filter by placetype:
- 5 towns
- 4 supernames
- 3 counties
- 2 continents
- 1 country
- 1 island
- 1 ocean
- 1 sea
- 1 state
- 1 timezone
-
Provinsi Jawa Tengah
Provinsi Jawa Tengah, Provinsi Jawa Tengah, Republik Indonesia (State)
-
Republik Indonesia
Republik Indonesia, Republik Indonesia (Country)
-
Indian Ocean
Indian Ocean (Ocean)
-
Java Sea
Java Sea (Sea)
-
Asia
Asia (Continent)
-
Australia
Australia (Continent)
-
South East Asia
South East Asia (Supername)
-
Far East
Far East (Supername)
-
Australasia
Australasia (Supername)
-
Asia-Pacific
Asia-Pacific (Supername)
Search again including deprecated places, unknown places, places that visit Null Island or everything?
This query took 0.025 seconds ⌛; show me the details?
0.025 seconds ⌛{ "query": { "bool": { "must": [ { "geo_shape": { "geometry": { "shape": { "type": "circle", "radius": "1km", "coordinates": [ 110.730049, -7.03286 ] } } } } ], "must_not": [ { "terms": { "woe:placetype": [ 0, 11, 25 ] } }, { "term": { "geom:latitude": { "value": 0.0 } } }, { "term": { "geom:longitude": { "value": 0.0 } } }, { "exists": { "field": "woe:superseded_by" } } ] } }, "aggs": { "placetypes": { "terms": { "field": "woe:placetype_name", "size": 10000 } } }, "sort": [ { "woe:scale": { "order": "desc", "mode": "max" } }, { "woe:id": { "order": "asc", "mode": "max" } } ], "from": 10 }