has weave type – L11
This property does not yet have the minimum number of validated parts required for publication.
L11 has weave type
Domain:
Range:
Quantification:
No quantifiers yet.
Scope note:
This property associates a weave with the type which defines its identity.
Examples:
No example yet.
In First Order Logic:
- L11(x,y) ⊃ T21(x)
- L11(x,y) ⊃ T32(y)
Scope Notes
| Show | Scope note | Language | Namespace | View details | Comments | Validation |
|---|---|---|---|---|---|---|
| This property associates a weave with the type which defines its identity. | en | SILKNOW 0.1 | 0 | Candidate |
Examples
| Show | Example | Language | Namespace | View details | Comments | Validation |
|---|
Additional notes
| Show | Notes | Language | Namespace | View details | Comments | Validation |
|---|
Identifier : L11
Domain and range
silknow:T21 Weave → L11 has weave type → silknow:T32 Weave Type
Labels
| Label | Language | Last updated | View details | Comments | Validation |
|---|---|---|---|---|---|
| has weave type * | en | 2021-06-10 | 0 | Candidate | |
| a un type d'armure * | fr | 2021-06-10 | 0 | Candidate |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| SILKNOW 0.1 | 2020-01-27 |
Parent properties
| Domain | Property | Range | Justification | Relation namespace | View details | Edit | Delete | Comments | Validation |
|---|
Ancestor properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Related properties
| Relation | Property | Justification | Relation namespace | View details | Edit | Delete | Comments | Validation |
|---|
Profiles using this property
| Label | Version | Status | Last updated |
|---|---|---|---|
| Silknow working profile | 1 | Ongoing | 2021-06-10 |
Comments
No comment found.