Property:Located in

Inverse relationships
The semantic mediawiki pages for Germany and California show various techniques to derive its inverse Location of.

Transitive relationships
For this wiki we will pretend that located in is transitive, so that things located in a province located in a country are located in that country. The page for Germany shows various techniques to derive this. (As a counter-example, Turkey is located in both Europe and Asia, but regions within Turkey are only in one or the other.)

Demonstrated location transitivity in Familypedia:

Subdivision of subdivision list (counties)
Transitivity (uses subqueries)