is intention of (has intention) – P7

P7 is intention of (has intention)

Quantification:

0,n:1,1

Scope note:

This property associates an intention with the person or intentional collective that it characterises.

As time-indexed qualities of the intentional entities, intentions are inseparable from them and therefore the intentional entities associated by the property are identity defining for the intentional quality: each instance of an intentional quality belongs to an intentional entity instance

Examples:

In the Middle Ages people believed that the Earth did not move and was situated at the center of the Universe (sdh:C7 Intentional State class)

In First Order Logic:

  • P7(x,y) ⇒ C4(x)
  • P7(x,y) ⇒ C9(y)
  • P7(x,y) ⇒ P2(x,y)

Scope notes

Show Scope note Language Namespace View details Comments
This property associates an intention with the person or intentional collective that it characterises. As time-indexed qualities of the intentional entities, intentions are inseparable from them and therefore the intentional entities associated by the property are identity defining for the intentional quality: each instance of an intentional quality belongs to an intentional entity instance en SDHSS Core v1.2 0

Examples

Show Example Language Namespace View details Comments
In the Middle Ages people believed that the Earth did not move and was situated at the center of the Universe (sdh:C7 Intentional State class) en SDHSS Core v1.2 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P7

Official URI: https://sdhss.org/ontology/core/1.2/P7
OntoME URI: https://ontome.net/ontology/p1641

Domain and range

sdh:C4 Intention → P7 is intention of (has intention) → sdh:C9 Intentional Entity  (Quantifiers 0,n:1,1)

Labels

Label Language Last updated View details Comments
is intention of (has intention) * 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
crm:E1 CRM Entity (0,n) P2 domain class has identity defining component (is identity defining component of domain class) (0,n) crm:E1 CRM Entity SDHSS Core v1.2 SDHSS Core v1.2 0

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
Person - Gender extended ongoing 2 Ongoing 2025-07-08
Group - Classification ongoing 2 Ongoing 2025-07-08
Activity - Classification ongoing 2 Ongoing 2025-07-02
Person - Gender extended 1 Published 2025-07-08
Group - Classification 1 Published 2025-07-08
Activity - Classification 1 Published 2025-07-02
Physical Human-Made Things - Classification ongoing 1 Ongoing 2024-09-27

Comments