Relation | Domain:Range | Definition |
---|---|---|
x II-R y | Individual:Individual | The individuals x and y stand in the relationship II-R. |
x IC-R y | Individual:Category | There exists an individual z, such that: z IC-instance-of y and x II-R z. |
x CC-R y | Category:Category | For all individuals a such that: a IC-instance-of x, a IC-R y. |
x CC-canonical-R y | Category:Category | For all individuals a such that: a IC-instance-of x, by default, a IC-R y. |
x II-lacks-R y | Individual:Individual | The individuals x and y do not stand in the relationship II-R. |
x IC-lacks-R y | Individual:Category | The individual x does not stand in the relationship IC-R to y. |
x CC-lacks-R y | Category:Category | For all individuals a such that: a IC-instance-of x, a IC-lacks-R y. |