的将来，可能会对其逻辑加以扩展，从而将一般概念蕴含公理（）包括进来。理论上而言，为了评估其究竟是早已在世界范围内分发的那370,000个先组配型概念之中的任何一个已有概念的父概念、先祖概念、子概念或者其他后裔概念，还是在语义上与之等价，可以将描述逻辑推理应用于任何新的候选后组配型表达式。不过，部分随着与CTV3之间合并产物的不断沉降，2007年SNOMED的内容之中依然含有未被发现的语义重复性原初型概念和定义型概念。此外，许多概念依然归属原初型，但同时它们的语义却又可以利用同时存在于该系统之中的其他原初