Property information

IAO 0000117

David Osumi-Sutherland

comment

t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaeous_with t2)

Property relations