Relation INVERSE-OF-TYPICALITY-RELATION

Arity: 2
Axioms:
(= (Inverse Typicality-Relation) Inverse-Of-Typicality-Relation)