after

CURIE: gmeow:after
IRI: https://blackcatinformatics.ca/gmeow/after
Category: property
Defined by: gmeow:slices/events
Box roles: RBox role (What is this?)

Allen AFTER: this event begins strictly after the related event ends; the transitive inverse of gmeow:before. (= time:intervalAfter; TimeML AFTER; TEO after.)

Structure

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

Practical Pattern

Use gmeow:after from gmeow:Event to gmeow:Event when the relationship itself belongs in the native GMEOW graph.

Common Companion Terms

gmeow:Event

Projects To

Profile	External Targets
`owl-time`	`time`

External Equivalences

Equivalent or closely aligned targets: teo, time

Linkages

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

Term Equivalences

Source	Kind	Profile	Predicate/Relation	Target	Evidence
`gmeow:after`	equivalence	`-`	skos:closeMatch	teo:after	`gmeow-events.sssom.tsv`; `gmeow:eqEvents095`; confidence 0.85
`gmeow:after`	equivalence	`-`	skos:relatedMatch	time:intervalAfter	`gmeow-events.sssom.tsv`; `gmeow:eqEvents094`; confidence 0.6

Projection Coverage

Source	Kind	Profile	Predicate/Relation	Target	Evidence
`gmeow:after`	projection	`owl-time`	projects to / <=	time:intervalAfter	`gmeow:mapTimeAfter`

Usage Advice

Use when

Use to order two events when one begins strictly after the other ends — the Allen AFTER link, the inverse view of gmeow:before.

Avoid when

Avoid it when the events abut (gmeow:metBy) or overlap (gmeow:overlappedBy), or when crisp dates already fix the order; prefer asserting gmeow:before and reading this as its inverse.

How to use

Assert gmeow:before in the natural direction and read gmeow:after as its transitive inverse; the sound transitive closure is derived, the full Allen table stays in the solver (P12).

Examples

ex:concert gmeow:after ex:dinner.

Published Alignment Graph

Alignments

Relation	Target
`closeMatch`	`teo:after`
`relatedMatch`	`time:intervalAfter`