802G5Z: Intelligent Systems Techniques Practice Exam

Consider the following statement in first-order logic (predicate calculus): ∃x ∃y: SisterOf(x, John) ∧ BrotherOf(y, Mary)  ∧  Knows(x, y) What does the statement mean? Translate the semantics into o...