Theo's frame-based knowledge representation scheme limits what may be represented. In particular, Theo's knowledge base must be consistent. For example: each slot may only hold one value. Though consistency obviously has nice closure properties, it is also somewhat constraining, especially when representing data about an imperfectly known world.
Go to a discussion of this property for multiple architectures.