There appears no way to declare that a superclass and a set of someOf SubclassOf axioms together form a logical definition (EquivalentTo axiom)

[samsontu]

In the ICD-11 edit iCAT, we need an easy way to specify a superclass and the ObjectSomeValuesFrom subclassOf axioms of an ICD-category together defines the category.