<philosophy of science, logic> the reciprocal relationship between two categorical propositions of the same form such that the subject term of each is the predicate term of the other. Conversion is a valid immediate inference for both E and I propositions. Thus, for example: "No snakes are mammals and No mammals are snakes", like "Some carnivors are birds and Some birds are carnivors" are each the converse of the other.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google