Assume I have an incomplete knowledge base, for example:
(rich(dave), poor(dave)) // dave is either poor or rich (not rich(dave), not poor(dave)) // dave is not poor and rich at the same time.
My questions are: 1. If I do resolution on the above clauses, will I get the empty clause? and 2. If Yes, Does that mean my knowledge base is inconsistent?