This is what will be shown for a Property in an ontology, in addition to the Generic Content (applies to any type of Element)
Glossary/business user view
No additional content
Taxonomy view
Always shown
Immediate superproperties
On request
Complete superproperty hierarchy
...
Complete property hierarchy
Structure view
Always shown
As for taxonomy
Domain and range and multiplicity/key constraints
Derivations (property chain)
Inverse property
On request
As for taxonomy
Superclasses of the domain and range (classes this property may be used with)
Classes required/restricted to use this property
Ontologist view
Always shown
As for structure
Classes commonly using this property (for which superclasses are the domain with min cardinality of 0 (inherited properties))
...
Disjoint properties
Equivalent properties
On request
As for structure
Expressions using this property
...