Encoding Higher-Order Logic in Spatio-Temporal Hypergraphs for Neuro-Symbolic Learning,