existence pertains to – P26

P26 existence pertains to

Domain:

C19 Human being life

Range:

E21 Person

Subproperty of:

Quantification:

1,1:1,1

Scope note:

This property associates to the human being existence (histC7) to the person (E21).

Examples:

The existence of the Roman consul Vettius Cornificius Gordianus attested to be alive in the year 275 (histC7) pertains to Vettius Cornificius Gordianus (E21).

In First Order Logic:

  • P26(x,y) ⊃ C19(x)
  • P26(x,y) ⊃ E21(y)
  • P26(x,y) ⊃ P22(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property associates to the human being existence (histC7) to the person (E21). en WIP 0

Examples

Show Example Language Namespace View details Comments
The existence of the Roman consul Vettius Cornificius Gordianus attested to be alive in the year 275 (histC7) pertains to Vettius Cornificius Gordianus (E21). en WIP 0

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P26

Domain and range

C19 Human being life → P26 existence pertains to → E21 Person  (Quantifiers 1,1:1,1)

Labels

Label Language Last updated View details Comments
existence pertains to * en 2019-10-03 0

: Standard label for this language

Namespace

Namespace Last updated
HistDMI – Generic Classes and Properties – ongoing 2020-08-10

Parent properties

Domain Property Range Justification Relation namespace View details Comments
Entity quality (Temporal entity) – C1 (0,n) P22 pertains to (1,1) CRM Entity – E1 HistDMI – Generic Classes and Properties – ongoing 0

Ancestor properties

Domain Property Range Depth Property namespace
Temporal Entity – E2 (0,n) P1 involves (0,n) CRM Entity – E1 3 HistDMI – Generic Classes and Properties – ongoing
Temporal Entity – E2 (0,n) P2 has identity defining component (0,n) CRM Entity – E1 2 HistDMI – Generic Classes and Properties – ongoing

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

Comments