"P31 has modified"@en . "Scope note:\nThis property identifies the E24 Physical Man-Made Thing modified in an E11 Modification.\n\nIf a modification is applied to a non-man-made object, it is regarded as an E22 Man-Made Object from that time onwards.\n\nExamples:\n- rebuilding of the Reichstag (E11) has modified the Reichstag in Berlin (E24)\n\nIn First Order Logic:\nP31(x,y) \u2283 E11(x)\nP31(x,y) \u2283 E24(y)\nP31(x,y) \u2283 P12(x,y)"@en . "P31"^^ . . . . . .