Formalising Concepts as Grounded Abstractions