Coliseu do Porto (nome próprio)

relações não-hierárquicas:

"Coliseu do Porto" é instanciação de
      casa de espectáculos

equivalência em Inglês