Applications of Logicist Knowledge Representation to Enterprise Modelling