querying typedb schema

You're probably looking for the statements docs! It has

match

match

examples on the individual pages. For example,

match user sub $t;

match user sub $t;

will return all the transitive supertypes of

user

user

(including supertypes of its supertype)

match user sub! $t;

match user sub! $t;

will return only defined supertypes of

user

user

You can also try

match $t sub user;

match $t sub user;

for the reversed purpose!