has involvement type (is involvement type of) – P78

P78 has involvement type (is involvement type of)

Quantification:

0,n:0,1

Scope note:

This property associates an involvement in an epistemic situation with the type which defines its identity

Examples:

No example yet.

In First Order Logic:

  • P78(x,y) ⇒ C60(x)
  • P78(x,y) ⇒ C61(y)

Scope notes

Show Scope note Language Namespace View details Comments
This property associates an involvement in an epistemic situation with the type which defines its identity en SDHSS Core v1.2 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P78

Official URI: https://sdhss.org/ontology/core/1.2/P78
OntoME URI: https://ontome.net/ontology/p2318

Domain and range

sdh:C60 Thing Involved in an Epistemic Situation → P78 has involvement type (is involvement type of) → sdh:C61 Type of Involvement of a Thing in an Epistemic Situation  (Quantifiers 0,n:0,1)

Labels

Label Language Last updated View details Comments
has involvement type (is involvement type of) * en 2025-06-20 0

: Standard label for this language

Namespace

Namespace Last updated
SDHSS Core v1.2 2025-06-20
SDHSS Core v1.1 2025-06-20
SDHSS Core v1.0 2025-06-19
SDHSS Core ongoing 2021-04-21

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
Epistemic Situation Description ongoing 1 Ongoing 2023-11-05

Comments