Cyc apparently addresses this issue with what are termed "microtheories" - in one theory something can be so, and in a different theory it can be not so:
This sounds like a world model with extra-steps, and a rather brittle one at that.
How do you choose between two conflicting "microtheories"?