. "P2 has type"@en . . . "Scope note:\nThis property allows sub typing of CRM entities - a form of specialisation \u2013 through the use of a terminological hierarchy, or thesaurus.\n\nThe CRM is intended to focus on the high-level entities and relationships needed to describe data structures. Consequently, it does not specialise entities any further than is required for this immediate purpose. However, entities in the isA hierarchy of the CRM may by specialised into any number of sub entities, which can be defined in the E55 Type hierarchy. E51 Contact Point, for example, may be specialised into \"e-mail address\", \"telephone number\", \"post office box\", \"URL\" etc. none of which figures explicitly in the CRM hierarchy. Sub typing obviously requires consistency between the meaning of the terms assigned and the more general intent of the CRM entity in question.\n\nExamples:\n- \"enquiries@cidoc-crm.org\" (E51) has type e-mail address (E55)\n\nIn First Order Logic:\nP2(x,y) \u2283 E1(x)\nP2(x,y) \u2283 E55(y)"@en . "P2"^^ . .