A many-sorted epistemic logic for chromatic hypergraphs