The example chosen to illustrate undetected equivalence could actually be an example of non-equivalence, since "COVID-19 positive" and "COVID-19 detected" could have different criteria in certain contexts. The latter refers to the threshold of detection of a certain test, which may be above or below the clinically meaningful viral load to be considered "positive". And the meaning of "detected" depends upon the type of test. This is not actually an example of equivalence, but an illustration of how tricky semantics of medical terms can be.

The authors should explain if the Tinkar architecture allows one to relate two terms for the purpose of explaining the similarities and differences between them, and how computable and self-describing such comparisons can potentially be.