Interface AxiomTypeDefinition