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.