710
2025-10-07
1 - Editorial changes
Proposed
Post by Eleni Tsouloucha (7 October 2025)
Dear all,
Christian-Emil has identified some typos in the FOL of CIDOC CRM v7.3.1.
These are purely editorial, but for better issue tracking and management, they will be handled through a designated issue (in fact they have already been handled for the most part).
see below:
P106 is composed of (forms part of)
P106(x,y) ¬P106(y,x)
- missing implication should be: P106(x,y) ⇒¬P106(y,x)
P132 spatiotemporally overlaps with
P132(x,y) ⇒ E92(x)
P132(x,y) ⇒ E92(y)
P132(x,y) ⇒ P132(y,x)
P132(x,y) ⇒ P132 (x,y)
P132(x,x)
Marked in yellow is a tautology and can be deleted
P133 is spatiotemporally separated from
P133(x,y) ⇒ E92(x)
P133(x,y) ⇒ E92(y)
P133(x,y) ⇒ P133(y,x)
P133(x,y) ⇒ P133(x,y)
¬P133(x,x)
Marked in yellow is a tautology and can be deleted
P200 has complete copy (is complete copy of)
P200(y,x) ⇒ E25(y)
should be P200(x,y) ⇒ E25(y)
P197 covered parts of (was partially covered by)
The full path is not expressed in the FOL
best,