P5 comprend (fait partie de)

Date de création : 2020-05-03

Dernière mise à jour : 2023-05-25

Domaine	Ε3 Condition State	E3_État_matériel
Portée	Ε3 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 non-reflexive.	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 non réflexive.
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