P5 comprend (fait partie de)

Date de création : 2024-08-28

Dernière mise à jour : 2024-08-28

Domaine

E3 Condition State

E3_État_matériel

Portée

E3 Condition State

E3_État_matériel

Sous-propriété de

Super-propriété de

Quantification

many to many (0,n:0,n)

plusieurs à plusieurs (0,n:0,n)

Note d’application

This property describes the decomposition of an instance of E3 Condition State into discrete, subsidiary states.

It is assumed that the sub-states into which the condition state is analysed form a logical whole, although the entire story may not be completely known, and that the sub-states are in fact constitutive of the general condition state. For example, a general condition state of “in ruins” may be decomposed into the individual stages of decay.

This property is transitive and asymmetric.

Cette propriété décrit la décomposition d’une instance de E3_État_matériel en des états discrets et auxiliaires.

On suppose que les sous-états dans lesquels l’état matériel est analysé forment un tout logique – bien que l’ensemble de ces sous-états puisse ne pas être complètement connu – et que ceux-ci sont en fait constitutifs de l’état matériel général. Par exemple, un état matériel général « en ruines » peut être décomposé en stades de décomposition individuels.

Cette propriété est transitive et asymétrique.

Exemples

  • The Condition State of the ruined Parthenon (E3) consists of the bombarded state after the explosion of a Venetian shell in 1687 (E3). (Mommsen, 1941)

  • L’état matériel des ruines du Parthénon (E3_État_matériel) comprend (P5_comprend) l’état « bombardé » à la suite de l’explosion d’un obus vénitien en 1687 (E3_État_matériel) (Mommsen, 1941)

Logique

  • P5(x,y) ⇒ E3(x)

  • P5(x,y) ⇒ E3(y)

  • [P5(x,y) ∧ P5(y,z)] ⇒ P5(x,z)

  • P5(x,y) ⇒ ¬P5(y,x)

P5(x,y) ⇒ E3(x)

P5(x,y) ⇒ E3(y)

[P5(x,y) ∧ P5(y,z)] ⇒ P5(x,z)

P5(x,y) ⇒ ¬P5(y,x)

Propriétés

Note de traduction

Références