has type of presence (is type of) – P77
P77 has type of presence (is type of)
Domain:
Quantification:
0,n:0,1
Scope note:
Associates the presence with a type that provides its identity, i.e. the kind of presence and things role in the event
Examples:
No example yet.
In First Order Logic:
- P77(x,y) ⇒ C38(x)
- P77(x,y) ⇒ C44(y)
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| Associates the presence with a type that provides its identity, i.e. the kind of presence and things role in the event | en | SDHSS Social Life Core (v1.0) | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments |
|---|
Identifier: P77
Official URI: https://sdhss.org/ontology/social-life/1.0/P77
OntoME URI: https://ontome.net/ontology/p3000
Domain and range
sdh-slc:C38 Presence of a Thing → P77 has type of presence (is type of) → sdh-slc:C44 Presence of a Thing Type (Quantifiers 0,n:0,1)
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| has type of presence (is type of) * | en | 2025-06-20 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| SDHSS Social Life Core (v1.0) | 2025-06-20 |
| SDHSS Social Life ongoing | 2021-04-16 |
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 |
|---|---|---|---|
| Expression - Presence in Event ongoing | 2 | Ongoing | 2025-07-08 |
| Expression - Presence in Event | 1 | Published | 2025-07-08 |
| Economic Transaction - Full ongoing | 1 | Ongoing | 2024-09-19 |

Comments
No comment found.