TypeQL can be used for polymorphic queries with patterns containing concept variables and value variables. A concept variable can represent any type or data instance in a database. To limit the set of possible concepts represented by a concept variable, add constraints with TypeQL keywords, like sub, isa, has, etc.