falls within (contains) – P10
P10 falls within (contains)
Domain:
Range:
Quantification:
1,n:1,n
Subproperty of:
Superproperty of:
Scope note:
This property associates an instance of E92 Spacetime Volume with another instance of E92 Spacetime Volume that falls within the latter. In other words, all points in the former are also points in the latter.
This property is transitive and reflexive.
Examples:
The Great Plague (E4) falls within The Gothic period (E4). (Porter, 2009)
In First Order Logic:
- P10(x,y) ⇒ E92(x)
- P10(x,y) ⇒ E92(y)
- P10(x,y) ⇒ P132(x,y)
Scope notes
Examples
Additional notes
Identifier: P10
Official URI: http://www.cidoc-crm.org/cidoc-crm/P10_falls_within
OntoME URI: https://ontome.net/ontology/p9
Domain and range
crm:E92 Spacetime Volume → P10 falls within (contains) → crm:E92 Spacetime Volume (Quantifiers 1,n:1,n)
Labels
: Standard label for this language
Comments
No comment found.