simultaneous withImported
t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2)
Defined byro
property Information
Characteristics
- Symmetric
- Transitive
in_subset
property Relations
Subproperty of
t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2)