Deductions
- abstract entity is for example Category:Santa Barbara, California ⇐ (Category:Santa Barbara, California is a abstract entity), (is a is inverse of is for example)
- Category:Santa Barbara, California is a abstract entity ⇐ (Wikimedia category is subclass of abstract entity), (Category:Santa Barbara, California is a Wikimedia category)
- entity is for example Category:Santa Barbara, California ⇐ (Category:Santa Barbara, California is a entity), (is a is inverse of is for example)
- Category:Santa Barbara, California is a entity ⇐ (Wikimedia category is subclass of entity), (Category:Santa Barbara, California is a Wikimedia category)
- list is for example Category:Santa Barbara, California ⇐ (Category:Santa Barbara, California is a list), (is a is inverse of is for example)
- Wikimedia category is for example Category:Santa Barbara, California ⇐ (Category:Santa Barbara, California is a Wikimedia category), (is a is inverse of is for example)
- Category:Santa Barbara, California is a list ⇐ (Wikimedia category is subclass of list), (Category:Santa Barbara, California is a Wikimedia category)