Implement rule: every subclass of Endurant must instantiate exactly one public subclass of EndurantType

[lcbarcellos]

Rule

Every subclass of gufo:Endurant must instantiate exactly one public subclass of gufo:EndurantType

Source

First rule from Table 1 of paper Endurant Types in Ontology-Driven ConceptualModeling: Towards OntoUML 2.0, presented on page 13 of document.

From (t25) and (t26), every class representing an endurant type must be dec-orated with exactly one stereotype from the set {«kind», «relatorKind», «mod-eKind», «qualityKind», «subkind», «role», «phase», «category», «mixin», «roleMixin»,«phaseMixin»}. Semi-rigid sortals are excluded from the profile (see sec.3)