Deductions
- urban area census code has quality uniqueness ⇐ (urban area census code is a unique identifier), (unique identifier has quality uniqueness)
- class is for example uniqueness ⇐ (uniqueness is a class), (is a is inverse of is for example)
- Santa Barbara urban area has quality uniqueness ⇐ (Santa Barbara urban area has quality unique identifier), (unique identifier has quality uniqueness), (has quality is a transitive relation)
- uniqueness is a class ⇐ (abstract entity is subclass of class), (uniqueness is a abstract entity)
- Wikidata Q identifier has quality uniqueness ⇐ (Wikidata Q identifier is subclass of unique identifier), (unique identifier has quality uniqueness)
- abstract entity is for example uniqueness ⇐ (uniqueness is a abstract entity), (is a is inverse of is for example)
- category of being is for example uniqueness ⇐ (uniqueness is a category of being), (is a is inverse of is for example)
- entity is for example uniqueness ⇐ (uniqueness is a entity), (is a is inverse of is for example)
- multiplicity is opposite of uniqueness ⇐ uniqueness is opposite of multiplicity
- uniqueness is subclass of invariant ⇐ (uniqueness is subclass of cardinal function), (cardinal function is subclass of invariant), (is subclass of is a transitive relation)
- uniqueness is subclass of cardinal function ⇐ (uniqueness is subclass of cardinality), (cardinality is subclass of cardinal function), (is subclass of is a transitive relation)
- uniqueness is a entity ⇐ (abstract entity is subclass of entity), (uniqueness is a abstract entity)
- uniqueness is a abstract entity ⇐ (category of being is subclass of abstract entity), (uniqueness is a category of being)
- Wikibase Q identifier has quality uniqueness ⇐ (Wikibase Q identifier is subclass of unique identifier), (unique identifier has quality uniqueness)