. "E45 Address"@en . . "Scope note:\nThis class comprises identifiers expressed in coding systems for places, such as postal addresses used for mailing.\n\nAn E45 Address can be considered both as the name of an E53 Place and as an E51 Contact Point for an E39 Actor. This dual aspect is reflected in the multiple inheritance. However, some forms of mailing addresses, such as a postal box, are only instances of E51 Contact Point, since they do not identify any particular Place. These should not be documented as instances of E45 Address.\n\nExamples:\n- \"1-29-3 Otsuka, Bunkyo-ku, Tokyo, 121, Japan\"\n- \"Rue David Dufour 5, CH-1211, Gen\u00E8ve\"\n\nIn First Order Logic:\nE45(x) \u2283 E44(x)\nE45(x) \u2283 E51(x)"@en . . "E45"^^ .