Feature/mini geo ontology#376

kwahlin wants to merge 2 commits intodeveloplibris/definitions:developfrom

feature/mini-geo-ontologylibris/definitions:feature/mini-geo-ontologyCopy head branch name to clipboard