Scrutinizing the Axiomatic Basis of SNOMED CT: How Confused is it by the Ambiguous Terminology Paradigm?