. . "P58"^^ . . . "P58 has section definition"@en . "Scope note:\nThis property links an area (section) named by a E46 Section Definition to the instance of E18 Physical Thing upon which it is found.\nThe CRM handles sections as locations (instances of E53 Place) within or on E18 Physical Thing that are identified by E46 Section Definitions. Sections need not be discrete and separable components or parts of an object.\n\nThis is part of a more developed path from E18 Physical Thing through P58, E46 Section Definition, P87 is identified by (identifies) that allows a more precise definition of a location found on an object than the shortcut P59 has section (is located on or within).\nA particular instance of a Section Definition only applies to one instance of Physical Thing.\n\nExamples:\n- HMS Victory (E22) has section definition \"poop deck of HMS Victory\" (E46)\n\nIn First Order Logic:\nP58(x,y) \u2283 E18(x)\nP58(x,y) \u2283 E46(y)"@en .