P31 has modified (was modified by) in version 7.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 E24 Physical Man-Made Thing modified in an E11 Modification.

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

Examples:

rebuilding of the Reichstag (E11) has modified the Reichstag in Berlin (E24)

In First Order Logic:

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