The spatial relationships evaluate a th3index argument through its per-instant cell-boundary geometry — the hexagonal footprint of each cell, as returned by th3CellToBoundary — and then apply the corresponding relationship of the temporal geometry types. Each relationship has three quantified forms: the e-prefixed ever form returns true when the relationship holds at some instant, the a-prefixed always form when it holds at every instant, and the t-prefixed temporal form returns a tbool of the instant-by-instant result. Every form accepts the three argument orderings (geometry, th3index), (th3index, geometry), and (th3index, th3index).
Whether one footprint contains the other (interiors only)
eContains, aContains, tContains
Whether one footprint covers the other (boundary included)
eCovers, aCovers, tCovers
Whether the footprints share no point
eDisjoint, aDisjoint, tDisjoint
Whether the footprints share at least one point
eIntersects, aIntersects, tIntersects
Whether the footprints share a boundary point but no interior point
eTouches, aTouches, tTouches
Whether the footprints lie within a given distance, passed as the third argument
eDwithin, aDwithin, tDwithin (…, dist float)
SELECT eContains( geometry 'SRID=4326;Polygon((4.20 50.70, 4.50 50.70, 4.50 50.90, 4.20 50.90, 4.20 50.70))', th3index '871fa44a8ffffff@2001-01-01'); -- true