Object property transaction context

part of transaction

https://opda.org.uk/pdtf/partOfTransactionTurtle ↓

Relates a transaction milestone to the property transaction it is a part of.

Milestone → Transaction join: the perdurant milestone is a part of the Transaction-event (event-mereology; Guizzardi ER 2013 §4). GATED 7–0 by Council session-051 (ODR-0034 §R1) — declared to govern the predicate the diagnostic exemplars already use (ADR-0048 §As-built "left as-is"). Single-domain edge, no never-reasoned commitment: rdfs:domain opda:Milestone + rdfs:range opda:Transaction both asserted as documentary AI-signal, NEVER entailed (ADR-0035). PROV-O carries no part-of-activity relation (PROV-DM §5.3), so this is a bespoke partonomic predicate, not a prov: reuse.