NonTerminalState¶
Open interactive NonTerminalState diagram
Specializations of NonTerminalState¶
| Class | Description |
|---|---|
| Conjunctive State | |
| Disjunctive State |
Formalization for NonTerminalState¶
| Property | Constraint |
|---|---|
| disjointWith | TerminalState |
| hasDecomp | min 2 owl:Thing |
| hasSubstate | all State |
| subClassOf | State |