P89 falls within (contains) in version 7.1.1

Domain:

Range:

Subproperty of:

No subproperties found

Superproperty of: No superproperties found

Quantification:

many to many,necessary,dependent (1,n,0,n)

Scope Note:

This property identifies an instance of E53 Place that falls wholly within the extent of another instance of E53 Place.

It addresses spatial containment only and does not imply any relationship between things or phenomena occupying these places.

This property is transitive and reflexive.

Examples:

The area covered by the World Heritage Site of Stonehenge (E53) falls within the area of Salisbury Plain (E53). (Pryor, 2016)

In First Order Logic:

P89(x,y) ⇒ E53(x), P89(x,y) ⇒ E53(y), [P89(x,y) ∧ P89(y,z)] ⇒ P89(x,z), P89(x,x)

Search form