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)
Attributes | Values |
---|---|
type | |
inverseOf | |
label |
|
domain | |
range | |
comment |
|
notation |
|
is subPropertyOf of |
|
is inverseOf of | |
is onProperty of |