AnnotationAxiom
- class AnnotationAxiom(annotations=None)[source]
Bases:
AxiomA grouping class for annotation axioms defined in 10.2 “Axiom Annotations”.
Instantiate an axiom, with an optional list of annotations.
- Parameters:
annotations (list[Annotation])