OntoME

Domain:

E90 Symbolic Object

Range:

E90 Symbolic Object

Subproperty of:

• Thing Thing → topObjectProperty → Thing Thing

Superproperty of:

• E73 Information Object → P165 incorporates → E90 Symbolic Object
• D35 Area → L49 is primary area of → D1 Digital Object
• D35 Area → L50 is propagated area of → D1 Digital Object
• geovC5 Expression section → geovP6 is part of → geovC6 Source expression

Quantification:

No quantifiers yet.

Scope note:

This property associates an instance of E90 Symbolic Object with a part of it that is by itself an instance of E90 Symbolic Object, such as fragments of texts or clippings from an image.

Examples:

No example yet.

In First Order Logic:

• P106(x,y) ⊃ E90(x)
• P106(x,y) ⊃ E90(y)
• P106(x,y) ⊃ topObjectProperty(x,y)