Add a SchoolDistrict type under AdministrativeArea

[danbri]

For next phase of COVID-19 examples, we are lacking a way to talk about groups of schools. In the US at least, announcements are often made at the School District level. We can model this as an AdministrativeArea.

Part of schemaorg/schemaorg#2490 /cc @tmarshbing @rvguha @vholland

[danbri]

Rough cut, http://webschemas.org/SchoolDistrict

[tmarshbing]

Do we already have a good way to model counties?

[danbri]

@tmarshbing - we don't yet. Let's fix that.

It is tempting to add County, Province, ASAP too, if only into Pending, but not clear what the most international-friendly terminology would be.

E.g. AFAIK in UK we have counties but there are also metropolitan areas; Switzerland and Bosnia-Herzegovina have "cantons", ... France has departments, ... ... at some level these might be broadly the same concept but it would be easy to make a mis-step, whereas while "school district" might sound a little American it is a less sensitive concept. /cc @rvguha @tjann

[tmarshbing]

@danbri, OK, let's stick with just SchoolDistrict for now and fix other regional names in a separate update.

[tjann]

Hi @danbri , sorry just getting to this. Adding County, Province, etc. would be really helpful. For international-friendliness, what are your thoughts on following the AdministrativeArea1/2/3... such as in the Places API ?

[RichardWallis]

Move to suggestions-questions-brainstorming fo for @tjann's comment

[RichardWallis]

See issue #7 for the context of the move from the main Schema.org issue tracker to this repository.

[AAM1989]

Would a markup for County include a GeoShape containing all the zip codes that comprise that County? So it would look something like this: "County": { "@type": "GeoShape", "postalCode": [ "90011", "91331", "90650", "90201", "90250", "90044", "90805", "90280", "91342" ] }

Obviously there are individual counties that contain close to 300 zip codes, but this seems like the proper way to approach things in my opinion (based mainly on the idea that a primary identifier Google uses for a user's location is their zip code).