Complexity

Research Article

Representation and Reasoning of Three-Dimensional Spatial Relationships Based on R5DOS-Intersection Model Representation and Reasoning Based on R5DOS Model

Table 4

Compound relationship reasoning table.
R (B, C)R (A, B)R (A, C)
DR (B, C)all (A, B)
POall (A, B)DRall (A, C); POall (A, C); PPIall (A, C)
PPall (A, B)all (A, C)
EQall (A, B)all (A, C)
PPIall (A, B)DRall (A, C); POall (A, C); PPIall (A, C)
PO (B, C)DRall (A, B)DRall (A, C); POall (A, C); PPall (A, C)
POall (A, B)
PPall (A, B)DRall (A, C); POall (A, C); PPall (A, C)
EQall (A, B)POall (A, C)
PPIall (A, B)POall (A, C); PPIall (A, C)
PP (B, C)DRall (A, B)DRall (A, C); POall (A, C); PPall (A, C)
POall (A, B)POall (A, C); PPall (A, C)
PPall (A, B)PPall (A, C)
EQall (A, B)PPall (A, C)
PPIall (A, B)POall (A, C); EQall (A, C); PPall (A, C); PPIall (A, C)
EQ (B, C)DRall (A, B)all (A, C)
POall (A, B)POall (A, C)
PPall (A, B)PPall (A, C)
EQall (A, B)EQall (A, C)
PPIall (A, B)PPIall (A, C)
PPI (B, C)DRall (A, B)DRall (A, C)
POall (A, B)DRall (A, C); POall (A, C); PPIall (A, C)
PPall (A, B)
EQall (A, B)PPIall (A, C)
PPIall (A, B)PPIall (A, C)