"P127"^^ . "Scope note:\nThis property identifies a super-Type to which an E55 Type is related.\n\nIt allows Types to be organised into hierarchies. This is the sense of \"broader term generic (BTG)\" as defined in ISO 2788\n\nExamples:\n- dime (E55) has broader term coin (E55)\n\nIn First Order Logic:\nP127(x,y) \u2283 E55(x)\nP127(x,y) \u2283 E55(y)"@en . . "P127 has broader term"@en . . . . .