Submissions:EventCore/subSpatioTemporalExtentOf

From Odp

subSpatioTemporalExtentOf has Category:OntologyElement and is an element of EventCore

Name: subSpatioTemporalExtentOf

Type: owl:ObjectProperty

Description: Property indicating partonomic relation between two spatiotemporal extents. The Event pattern only assumes that this is given by the spatiotemporal extent pattern actually used. Thus, domain and range are not explicitly stated and this property is included in axioms resulted by OWL translation of the following rule: :Event(?x) ^ :hasSpatioTemporalExtent(?x,?w) ^ :subEventOf(?x,?y) ^ :Event(?y) ^ :hasSpatioTemporalExtent(?y,?z) -> :subSpatioTemporalExtentOf(?w,?z)