Slot: isMutuallyRelatedTo
a is mutually related to b if and only if the realization of the relation of a necessarily causes the realization of a relation to b.
Domain and Range
Parents
- is_a: isRelatedTo
a is mutually related to b if and only if the realization of the relation of a necessarily causes the realization of a relation to b.