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 | Type | 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 | Property namespace | Justification | Relation defined in | 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 | Property namespace | Justification | Relation defined in | 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.