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

Suppose an individual ?x satisfies: Knot(?x). Which composite conclusion is inferred?

A. Measurement Type(?y) ∧ has unit(?x, ?y)
B. NauticalMile(?y) ∧ has unit(?x, ?y)
C. Resistivity(?y) ∧ has unit(?x, ?y)
D. NauticalMile(?y) ∧ has context(?x, ?y)

Answer: NauticalMile(?y) ∧ has unit(?x, ?y)