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