Characterising Object-based Frameworks in First-order Predicate Logic