---
config:
layout: elk
---
graph TD
classDef linkNode fill:#808080
spatio_temporal_extent["spatio_temporal_extent"]
event(["5,2 event"])
state(["6,1 state"])
requirement(["46,4 requirement"])
class_of_spatio_temporal_extent["class_of_spatio_temporal_extent"]
class_of_state(["6,2 class_of_state"])
class_of_event(["5,1 class_of_event"])
requirement_specification(["46,1 requirement_specification"])
class_of_class_of_spatio_temporal_extent["class_of_class_of_spatio_temporal_extent"]
class_of_physical_property(["12,1 class_of_physical_property"])
aggregation["aggregation"]
composition["composition"]
temporal_composition["temporal_composition"]
possible_world(["11,2 possible_world"])
eventA(["5,2 event"])
eventB(["5,2 event"])
link4_1(["4,1 (1)"]):::linkNode
link4_2(["4,2 (2)"]):::linkNode
link4_3(["4,3 (3)"]):::linkNode
link4_4(["4,4 (2)"]):::linkNode
spatio_temporal_extent ==>|supertype_of| event
spatio_temporal_extent ==>|supertype_of| state
spatio_temporal_extent ==>|supertype_of| requirement
class_of_spatio_temporal_extent ==>|supertype_of| class_of_state
class_of_spatio_temporal_extent ==>|supertype_of| class_of_event
class_of_spatio_temporal_extent ==>|supertype_of| requirement_specification
class_of_class_of_spatio_temporal_extent ==>|supertype_of| class_of_physical_property
aggregation ==>|supertype_of| composition
composition ==>|supertype_of| temporal_composition
spatio_temporal_extent -->|"part_of_possible_world S[1:?]"| possible_world
aggregation -->|part| spatio_temporal_extent
aggregation -->|whole| spatio_temporal_extent
spatio_temporal_extent -.->|"aggregated_into S[1:?]"| spatio_temporal_extent
spatio_temporal_extent -.->|"part__of S[1:?] (INV) consists__of S[0:?]"| spatio_temporal_extent
spatio_temporal_extent -.->|"temporal__part_of S[1:?]"| spatio_temporal_extent
spatio_temporal_extent -.->|"beginning"| eventA
spatio_temporal_extent -.->|"ending"| eventB
spatio_temporal_extent -.->|"member_of S[1:?]"| class_of_spatio_temporal_extent
class_of_spatio_temporal_extent -.->|"part__of_by_class S[1:?] (INV) consists__of_by_class S[1:?]"| class_of_spatio_temporal_extent
class_of_spatio_temporal_extent -.->|"member_of_ S[1:?]"| class_of_class_of_spatio_temporal_extent
link4_1 --> spatio_temporal_extent
link4_2 --> class_of_spatio_temporal_extent
link4_3 --> aggregation
link4_4 --> class_of_class_of_spatio_temporal_extent