Same As

reldef:sys:same_as

same as — the two atoms denote the same thing.