Frameworks in First-Order Logic