أو لا يصدق شيء منهما على شيء مما يصدق عليه الآخر، فهما متباينان، كالإنسان والفرس،
Or if neither applies to any individual to which the other applies, they are disjoint, like human and horse.
Disjointness means that the two extensions never intersect:
No human is a horse.
No horse is a human.
Both nevertheless fall under “animal.” Having a common genus does not create a common individual belonging simultaneously to both the human and horse species.
Opening interactive controls...
Four Relations Between Universals and Relative Particularity
أو لا يصدق شيء منهما على شيء مما يصدق عليه الآخر، فهما متباينان، كالإنسان والفرس،
Or if neither applies to any individual to which the other applies, they are disjoint, like human and horse.
Disjointness means that the two extensions never intersect:
No human is a horse.
No horse is a human.
Both nevertheless fall under “animal.” Having a common genus does not create a common individual belonging simultaneously to both the human and horse species.