is part of (has as part) – P4
P4 is part of (has as part)
Domain:
Range:
Quantification:
0,n:1,n
Scope note:
This property associates an expression portion with the expression it is part of.
In some cases, an expression portion can be a section of more then one expressions. E.g. a chapter of a novel can start at the end of manuscript A and continue at the beginning of manuscript B. The chapter will therefore be composed of a part of the whole expression carried by manuscript A and a part of the whole expression ciarried by manuscript. Therefore the maximum quantifier of the range class is n.
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 |
|---|---|---|---|---|---|
| This property associates an expression portion with the expression it is part of. In some cases, an expression portion can be a section of more then one expressions. E.g. a chapter of a novel can start at the end of manuscript A and continue at the beginning of manuscript B. The chapter will therefore be composed of a part of the whole expression carried by manuscript A and a part of the whole expression ciarried by manuscript. Therefore the maximum quantifier of the range class is n. | en | SDHSS for Sources Information and Metadata (v1.0) | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments |
|---|
Identifier: P4
Official URI: https://sdhss.org/ontology/sources-information-metadata/1.0/P4
OntoME URI: https://ontome.net/ontology/p1317
Domain and range
sdh-info:C2 Expression Portion → P4 is part of (has as part) → frbroo:F2 Expression (Quantifiers 0,n:1,n)
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| is part of (has as part) * | en | 2025-06-24 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| SDHSS for Sources Information and Metadata ongoing | 2021-04-28 |
| SDHSS for Sources Information and Metadata (v1.0) | 2025-06-24 |
Parent properties
| Domain | Property | Range | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Ancestor properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Related properties
| Relation | Property | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Profiles using this property
| Label | Version | Status | Last updated |
|---|---|---|---|
| Geovistory Basics | 1 | Ongoing | 2025-09-22 |
| Writing of a portion of a longer text (daily diary, account book, etc.) | 1 | Ongoing | 2023-10-25 |
Comments
No comment found.