disjoint
Description:
Classes are disjoint if the intersection of their extensions is an empty set. In other words, they have no common instances in any possible world.
Source:
CIDOC-CRM
Classes are disjoint if the intersection of their extensions is an empty set. In other words, they have no common instances in any possible world.