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

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

A. set(?x)
B. unordered pair(?x)
C. ordered triple(?x)
D. ordered pair(?x)

Answer: unordered pair(?x)