. . . "Scope note: \nThis property associates an instance of E55 Type \u201CA\u201D with an instance of E55 Type \u201CB\u201D, when items of type \u201CA\u201D typically form part of items of type \u201CB\u201D, such as \u201Ccar motors\u201D and \u201Ccars\u201D. It allows types to be organised into hierarchies based on one type describing a typical part of another. This property is equivalent to \"broader term partitive (BTP)\" as defined in ISO 2788 and \u201CbroaderPartitive\u201D in SKOS.\n\nExamples:\n- Car motors (E55) defines typical parts of cars (E55)\n\nIn First Order Logic:\nP150(x,y) \u2283 (E55 Type)\nP150(x,y) \u2283 E55(y)"^^ . . "P150"^^ . . "P150 defines typical parts of"@en .