Relation IS-SIZE-OF

Arity: 2
Axioms:
(= (Inverse Size) Is-Size-Of)