20 Open-World-Assumption (2): Inferenz Ödipus Iokaste Polyneikes Thersandros ≡ hatKind Interpretation I 1 Ödipus Iokaste Polyneikes Thersandros ≡ hatKind Interpretation I 2 Sowohl in der Interpretation I 1 als auch in der Interpretation I 2 hat Iokaste ein Kind das ein Vatermörder ist; dessen Kinde jedoch kein Vatermörder ist.
{}