Agreed with all!
Martin
On 10/4/2023 12:42 PM, Schmidle, Wolfgang via Crm-sig wrote:
Dear All,
P81 "ongoing throughout" and P82 "at some time within" are strong shortcuts,
but not yet marked as such:
E52 Time-Span P81 ongoing throughout E61 Time Primitive
E52 Time-Span P86i contains E52 (Declarative) Time-Span P170i time is defined
by E61 Time Primitive
P81(x,y) ⇔ (∃z) [E52(z) ∧ P86i(x,z) ∧ P170i(z,y)]
E52 Time-Span P82 at some time within E61 Time Primitive
E52 Time-Span P86 falls within E52 (Declarative) Time-Span P170i time is
defined by E61 Time Primitive
P82(x,y) ⇔ (∃z) [E52(z) ∧ P86(x,z) ∧ P170i(z,y)]
Christian-Emil suggested opening an issue for completing the list of shortcuts
in CRMbase, and to create a separate issue for the extensions whenever
necessary.
Best,
Wolfgang
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
--
------------------------------------
Dr. Martin Doerr
Honorary Head of the
Center for Cultural Informatics
Information Systems Laboratory
Institute of Computer Science
Foundation for Research and Technology - Hellas (FORTH)
N.Plastira 100, Vassilika Vouton,
GR70013 Heraklion,Crete,Greece
Vox:+30(2810)391625
Email: mar...@ics.forth.gr
Web-site: http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
