ends (is ended by) – P9

P9 ends (is ended by)

Domain:

Quantification:

0,n:0,n

Scope note:

This property associates an event to the quality that it directly oder indirectly ends. Different events can contribute to the end of the same quality and one event can end several qualities, in one or more entitites.

Examples:

No example yet.

In First Order Logic:

  • P9(x,y) ⊃ E5(x)
  • P9(x,y) ⊃ C1(y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property associates an event to the quality that it directly oder indirectly ends. Different events can contribute to the end of the same quality and one event can end several qualities, in one or more entitites. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P9

Domain and range

E5 Event → P9 ends (is ended by) → C1 Entity quality (Temporal entity)  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
ends (is ended by) * en 2020-08-24 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

Ancestor properties

Domain Property Range Depth Property namespace

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
Physical man-made objects and basic information about them 2020-08-24

Comments