Dear all, Since we made E61 isA E59 AND E41, it means that there can be inverse properties for *P81 ongoing throughout* & *P82 at some time within*. Which is implicit in the FOL for *P170 defines time (time is defined by) --*see v7.1.2 <https://cidoc-crm.org/html/cidoc_crm_v7.1.2.html#P170> (Official (Base for initial ISO Submission) and v7.2.3 <https://cidoc-crm.org/Version/version-7.2.3>(draft, community version).
In first-order logic: P170(x,y) ⇒ E61(x) P170(x,y) ⇒ E52(y) *P170(x, y) ⇒ P81i(x, y) ∧ P82i(x, y)* Incidentally, we have documented that *P170(x,y) ⇒ P81(y,x) ˄ P82(y,x) *(see issue 508 <https://cidoc-crm.org/Issue/ID-508-fol-for-p170>*, *Martin's post on 23 July 2020 specifically), which got translated into listing the inverse forms of P81/P82, without bothering to revisit the lack of inverse forms for respective properties. The same situation holds for *P171 at some place within* and *P172 contains* (whose ranges are set to E94 Space Primitive). Now that E94 isA E59 AND E41, we should define inverse properties for them (and these should have labels). Best, Eleni
_______________________________________________ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig