A logical geo-ontology design pattern for quantifying over types