P46 est composé de (fait partie de)

Date de création : 2020-05-03

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

Domaine

E18 Physical Thing

E18_Chose_matérielle

Portée

E18 Physical Thing

E18_Chose_matérielle

Sous-propriété de
Super-propriété de

E19 Physical Object. P56 bears feature (is found on): E26 Physical Feature

E19_Objet_matériel. P56_a_pour_caractéristique (se_trouve_sur): E26_Caractéristique_physique

Quantification

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

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

Note d’application

This property associates an instance of E18 Physical Thing with another instance of Physical Thing that forms part of it. The spatial extent of the composing part is included in the spatial extent of the whole.

Component elements, since they are themselves instances of E18 Physical Thing, may be further analysed into sub-components, thereby creating a hierarchy of part decomposition. An instance of E18 Physical Thing may be shared between multiple wholes, for example two buildings may share a common wall. This property does not specify when and for how long a component element resided in the respective whole. If a component is not part of a whole from the beginning of existence or until the end of existence of the whole, the classes E79 Part Addition and E90 Part Removal can be used to document when a component became part of a particular whole and/or when it stopped being a part of it. For the time-span of being part of the respective whole, the component is completely contained in the place the whole occupies.

This property is intended to describe specific components that are individually documented, rather than general aspects. Overall descriptions of the structure of an instance of E18 Physical Thing are captured by the P3 has note property.

The instances of E57 Material of which an instance of E18 Physical Thing is composed should be documented using P45 consists of (is incorporated in).

This property is transitive and non-reflexive.

Cette propriété associe une instance de E18_Chose_matérielle à une autre instance de E18_Chose_matérielle dont elle fait partie. La portée spatiale de la partie composante est inclue dans la portée spatiale du tout.

Les éléments composants, puisqu’ils sont eux-mêmes des instances de E18_Chose_matérielle, peuvent être à leur tour analysés comme contenant des sous-composants, ce qui crée donc une hiérarchie de subdivision en parties. Une instance de E18_Chose_matérielle peut être partagée entre plusieurs ensembles, par exemple dans le cas de deux bâtiments qui partagent un mur mitoyen. Cette propriété ne spécifie pas quand et pour combien de temps un élément composant fait partie d’un ensemble. Si un composant ne fait pas partie d’un ensemble du début ou jusqu’à la fin de l’existence de ce dernier, les classes E79_Ajout_d’élément et E80_Retrait_d’élément peuvent être utilisées pour documenter le moment où le composant devient une partie de cet ensemble spécifique et/ou quand il cesse de l’être. Durant l’intervalle temporel où le composant fait partie de cet ensemble, il est complètement contenu dans le lieu occupé par l’ensemble.

Cette propriété vise à décrire des composants spécifiques qui sont individuellement documentés, plutôt que des aspects généraux. Des descriptions générales de la structure d’une instance de E18_Chose_matérielle sont documentées par la propriété P3_a_pour_note.

Les instances de E57_Matériau dont une instance de E18_Chose_matérielle est composée doivent être documentées en utilisant la propriété P45_comprend (est_inclus_dans).

Cette propriété est transitive et non réflexive.

Exemples
  • the Royal carriage (E22) forms part of the Royal train (E22)

  • the “Hog’s Back” (E24) forms part of the “Fosseway” (E24)

  • Le carrosse royal (E22_Objet_élaboré_par_l’humain) fait partie du (P46i_fait_partie_de) cortège royal (E22_Objet_élaboré_par_l’humain)

  • Le « Hog’s back » (E24_Chose_matérielle_élaborée_par_l’humain ) fait partie du (P46i_fait_partie_de) « Fosseway » (E24_Chose_matérielle_élaborée_par_l’humain )

Logique

P46(x,y) ⇒ E18(x)

P46(x,y) ⇒ E18(y)

P46(x,y) ⇒ P132(x,y)

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

P46(x,y) ⇒ (∃uzw)[E93(u) ∧ P195i (x,u) ∧ E52(z) ∧ P164(u,z) ∧ E93(w) ∧ P195i (w,y) ∧ P164(w,z)

∧ P10(w,u)]

¬P46(x,x)

P46(x,y) ⇒ E18(x)

P46(x,y) ⇒ E18(y)

P46(x,y) ⇒ P132(x,y)

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

P46(x,y) ⇒ (∃uzw)[E93(u) ∧ P195i (x,u) ∧ E52(z) ∧ P164(u,z) ∧ E93(w) ∧ P195i (w,y) ∧ P164(w,z)

∧ P10(w,u)]

¬P46(x,x)

Propriétés
Note de traduction
Références