P148 a pour composant (est le composant de)

Date de création : 2024-08-28

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

Domaine	E89 Propositional Object	E89_Objet_propositionnel
Portée	E89 Propositional Object	E89_Objet_propositionnel
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 associates an instance of E89 Propositional Object with a structural part of it that is by itself an instance of E89 Propositional Object. This property is transitive. This property is asymmetric.	Cette propriété associe une instance de E89_Objet_propositionnel avec une de ses parties structurelles qui est elle-même une instance de E89_Objet_propositionnel. Cette propriété est transitive et asymétrique.
Exemples	Dante’s “Divine Comedy” (E89) has component Dante’s “Hell” (E89). (Alighieri, 1956)	La Divine comédie de Dante (E89_Objet_propositionnel) a pour composant (P148_a_pour_composant) « L'Enfer » (E89_Objet_propositionnel) (Alighieri, 1956)
Logique	P148(x,y) ⇒ E89(x) P148(x,y) ⇒ E89(y) [P148(x,y) ∧ P148(y,z)] ⇒ P148(x,z) P148(x,y) ⇒ ¬P148(y,x)	P148(x,y) ⇒ E89(x) P148(x,y) ⇒ E89(y) [P148(x,y) ∧ P148(y,z)] ⇒ P148(x,z) P148(x,y) ⇒ ¬P148(y,x)
Propriétés
Note de traduction	La traduction des titres de « Divine Comedy » est issue de la version française publiée par la Bibliothèque de la Pléiade en 2021.
Références	Alighieri, Dante. La divine comédie. Édité par Carlo Ossola. Traduit par Jacqueline Risset. Éd. bilingue. Bibliothèque de la Pléiade 659. 1308–1321. Reprint, Paris: Gallimard, 2021.