Three Axiom Systems for Additive Semiordered Structures