Formalizing conceptual knowledge