Task: SWRL-based Rule Reasoning (ontology: Earth_Environment/SWEET)

Suppose an individual ?x satisfies: ordered pair(?x). Which conclusion is one valid inferred conclusion?

A. Lourenswalsite(?x, ?y)
B. has first operand(?x, ?y)
C. has first operand(?y, ?x)
D. not has first operand(?x, ?y)

Answer: has first operand(?x, ?y)