is part of – P4
P4 is part of
Domain:
Range:
Subproperty of:
Quantification:
0,n:1,n
Scope note:
Associates an expression portion with the expression section (in some cases more then one) it is composed of
Examples:
No example yet.
In First Order Logic:
- P4(x,y) ⊃ C2(x)
- P4(x,y) ⊃ F2(y)
Scope Notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
Associates an expression portion with the expression section (in some cases more then one) it is composed of | en | WIP | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|
Additional notes
Show | Notes | Language | Namespace | View details | Comments |
---|
Identifier : P4
Domain and range
C2 Expression portion → P4 is part of → F2 Expression (Quantifiers 0,n:1,n)
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
is part of * | en | 2019-04-08 | 0 |
: Standard label for this language
Namespace
Namespace | Last updated |
---|---|
HistDMI – Intellectual and Literary Life (ongoing) | 2020-08-03 |
Parent properties
Domain | Property | Range | Justification | Relation namespace | View details | Comments |
---|
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 | Comments |
---|
Profiles using this class
Label | Start date | End date | Last updated |
---|---|---|---|
Geovistory Basics | 2019-12-13 | ||
Geovistory Generic Historical Information Profile | 2019-11-20 | ||
Writing of a portion of a longer text (daily diary, account book, etc.) | 2020-12-21 |
Comments
No comment found.