annotatedProperty

The property that determines the predicate of an annotated axiom or annotated annotation.

annotatedProperty

The property that determines the predicate of an annotated axiom or annotated annotation.