show_approp(+<type>).
shows the appropriateness conditions of a type
show_subtypes(+<type>).
shows a mini typehierarchy with the immediate subtypes of <type>
show_all_subtypes(+<type>).
shows the complete typehierarchy below <type>
show_supertypes(+<type>).
shows the immediate supertypes of <type>
show_all_supertypes(+<type>). shows the hierarchy below
the most general type bot and type <type>, including only
those types which are direct or indirect supertypes of <type>