Slot: designates_type
True means that the key slot(s) is used to determine the instantiation (types) relation between objects and a ClassDefinition
Domain and Range
SlotDefinition → 0..1 Boolean
True means that the key slot(s) is used to determine the instantiation (types) relation between objects and a ClassDefinition
SlotDefinition → 0..1 Boolean