Clause¶
Open interactive Clause diagram
Formalization for Clause¶
| Property | Constraint |
|---|---|
| clauseType | some Enum: bylaw, penalty, repeal, schedule, severance, transition |
| genProp::hasDescription | max 1 owl::Thing |
| genProp::hasIdentifier | max 1 owl::Thing |
| genProp::hasName | max 1 owl::Thing |
| hasClause | all Clause |
| partwhole::properPartOf | exactly 1 owl::Thing |
| subClassOf | BylawOntologyThing |
Used by classes¶
| Class | Property |
|---|---|
| Clause (Bylaw) | hasClause |
| Law (Bylaw) | hasClause |
| Law (Bylaw) | hasPenaltyClause |
| Law (Bylaw) | hasRepealClause |
| Law (Bylaw) | hasSeveranceClause |
| Law (Bylaw) | hasTransitionClause |
| Schedule (Bylaw) | hasClause |