Yes, such as leisure=sports_centre plus the respective martial sport.
It is clearly leisure activity, thus amenity does not fit.
Further, there are now also 'hacker dojos' or 'coder dojos', so the term is not limited to sports anymore. --Polarbear w (talk) 21:14, 5 August 2014 (UTC)
- leisure=sports_hall is getting increasingly tagged now for single halls that do not form a "centre". This will be a better candidate than a specific unsuitable amenity tag for every kind of sport.--Polarbear w (talk) 07:59, 24 May 2019 (UTC)
- see also https://github.com/gravitystorm/openstreetmap-carto/issues/856 Pander (talk) 18:12, 24 May 2019 (UTC)
- If sport=* is not sufficient, the type of the sports hall could be subtagged as well to describe its type, e.g. leisure=sports_hall + sports_hall=dojo --Polarbear w (talk) 18:49, 26 May 2019 (UTC)