interval finishes

Allen FINISHES: this interval and the related interval end together, and this one began later. NOT transitive. Inverse of gmeow:intervalFinishedBy. (= time:intervalFinishes)

Structure

Property shape: object property; gmeow:TimeInterval -> gmeow:TimeInterval

Use gmeow:intervalFinishes from gmeow:TimeInterval to gmeow:TimeInterval when the relationship itself belongs in the native GMEOW graph.

Profile	External Targets
`owl-time`	`time`

Equivalent or closely aligned targets: time

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Source	Kind	Profile	Predicate/Relation	Target	Evidence
`gmeow:intervalFinishes`	equivalence	`-`	skos:closeMatch	time:intervalFinishes	`gmeow-temporal.sssom.tsv`; `gmeow:eqTemporal050`; confidence 0.95

Source	Kind	Profile	Predicate/Relation	Target	Evidence
`gmeow:intervalFinishes`	projection	`owl-time`	projects to / <=	time:intervalFinishes	`gmeow:mapIntervalFinishes`

Use when two intervals share an end instant but the subject began later — a closing sub-span (final sprint, last act) that ends with its enclosing span.

Avoid when the intervals also share their start (use gmeow:intervalStarts) or are fully co-extensive (use gmeow:intervalCoincidesWith); FINISHES is the shared-end-only case and is NOT transitive.

Assert from the shorter, co-finishing interval to the longer one; the inverse gmeow:intervalFinishedBy follows automatically (= time:intervalFinishes).

Published Alignment Graph

Relation	Target
`closeMatch`	`time:intervalFinishes`