P31 has modified (was modified by) in version 7.1.1

Domain:

E11 Modification

Range:

E18 Physical Thing

Subproperty of:

E5 Event. P12 occurred in the presence of (was present at): E77 Persistent Item

Superproperty of:

E12 Production. P108 has produced (was produced by): E24 Physical Human-Made Thing, E79 Part Addition. P110 augmented (was augmented by): E24 Physical Human-Made Thing, E80 Part Removal. P112 diminished (was diminished by): E24 Physical Human-Made Thing

Quantification:

many to many,necessary (1,n,0,n)

Scope Note:

This property identifies the instance of E18 Physical Thing modified in an instance of E11 Modification.

Examples:

The rebuilding of the German Reichstag in Berlin (E11) has modified the Reichstag in Berlin (E24). (Foster, 2000)

In First Order Logic:

P31(x,y) ⇒ E11(x), P31(x,y) ⇒ E18(y), P31(x,y) ⇒ P12(x,y)