P148 has component

Scope note: 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. Examples: - Dante's "Divine Comedy" (E89) has component Dante's "Hell" (E89) In First Order Logic: P148(x,y) ⊃ E89(x) P148(x,y) ⊃ E89(y)

P148 has component

Scope note: 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. Examples: - Dante's "Divine Comedy" (E89) has component Dante's "Hell" (E89) In First Order Logic: P148(x,y) ⊃ E89(x) P148(x,y) ⊃ E89(y)