Names derived from definition and property and genus are bound to be convertible; eg if being a two footed terrestrial animal belongs to something, then it will be true by conversion to say that it is a two footed terrestrial animal.