- accept
- getAxiomType
Gets the axiom type for this axiom.
- getAxiomWithoutAnnotations
Gets an axiom that is structurally equivalent to the input axiom without
annotations. This essential
- isLogicalAxiom
Determines if this axiom is a logical axiom. Logical axioms are defined to be
axioms other than both
- getAnnotatedAxiom
Gets a copy of the input axiom that is annotated with the specified annotations.
If the axiom has an
- getAnnotations
Gets the annotations that annotate this axiom and whose annotation property is
equal to annotationPr
- getSignature
- isOfType
Determines if this axiom is one of the specified types
- signature
- annotations
- equalsIgnoreAnnotations
Determines if another axiom is equal to this axiom not taking into consideration
the annotations on
- getClassesInSignature