Can a microtheory define (have) an assertion that conflicts with an assertion in another microtheory?
Yes! If I entered false information about a subject and then I entered true information about the same subject, won’t the two assertions clash? As long as the two assertions are not in the same microtheory, this is no problem for OpenCyc. That’s the whole point of microtheories. In fact, you can have microtheories in which every assertion is believed to be false or mythological. So then how does OpenCyc decide which microtheory to believe? It depends on which microtheory you query from in the genlMt hierarchy.
