hasSubState

Pattern

This property has been associated with the following pattern:

Definition

An English description of the definition (what distinguishes this sense of the term?).

The hasSubState property identifies a state that the complex state decomposes into, at any level (i.e., its child state, grandchild state, etcetera). The hasSubState property is transitive and a super-property of the hasDecomp property.

Required by Use Case(s)

(why is this specialized definition needed?)

CDM References

What other classes or properties reference this term?

• HasDecomp ‎ (← links)
• NonTerminalState ‎ (← links)

Interface Specification References

This property has been associated with the following interface specification items:

Sources

Sources considered when developing the property.

Status

Proposed

Annotations

Annotation	Value

Property Specification

Characteristic	Value (if applicable)
owl:TransitiveProperty	-

Supplementary Figures

Figure	Caption