First order logic: A semiotics approach