Appendix KI 2017

Appendix to the paper “A Thorough Formalization of Conceptual Spaces”