P148 has component (is component of) in version 7.1.1

Domain:
E89 Propositional Object
Range:
E89 Propositional Object
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
Quantification:
many to many (0,n,0,n)
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.

This property is transitive.

Examples:
  • Dante’s “Divine Comedy” (E89) has component Dante’s “Hell” (E89). (Alighieri, 1956)
In First Order Logic:
P148(x,y) ⇒ E89(x), P148(x,y) ⇒ E89(y), [P148(x,y) ∧ P148(y,z)] ⇒ P148(x,z)