Definition¶
Open interactive Definition diagram
Formalization for Definition¶
| Property | Constraint |
|---|---|
| genProp::hasDescription | max 1 owl::Thing |
| genProp::hasName | max 1 owl::Thing |
| partwhole::properPartOf | exactly 1 owl::Thing |
| subClassOf | BylawOntologyThing |
Used by classes¶
| Class | Property |
|---|---|
| Law (Bylaw) | hasDefinition |