...
Ontologist view
Always shown
As for taxonomy
Properties commonly used for this class (for which superclasses are the domain with min cardinality of 0 (inherited properties))
Necessary restrictions, including full detail e.g. property and class (hyperlinked)
Necessary and sufficient restrictions
Disjoint classes
Equivalent classes/expressions
On request
As for taxonomy
Individuals
Primary label
Restrictions using this class (e.g. All Values from X)
Expressions using this class (e.g. Unions used as range of a property)
Ontologies dependent on this class (that reference it in some way e.g. through domains, ranges, expressions)
Idea
Find shortest/all paths from this class to another specified class