Class AbstractLogicalDefinitionAxiom