Now that Carlo has entered the conversation, I have another one: The .1 properties are called e.g. P14(x,y,z) in the FOL expressions. However, everywhere else they are called e.g. P14.1:
* Introduction, "About the logical expressions used in the CIDOC CRM": "we use P14.1 as the ternary predicate symbol corresponding to property P14.1 in the role of" * The scope notes use the P14.1 notation * Meghini & Doerr 2018 call them P14.1 (or rather, P14.x) I don't see a reason why they should be named differently in the FOL. Best, Wolfgang _______________________________________________ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig