Dear Martin, all, I agree about the gendered pronouns, as you might imagine.
One further very minor note – I think there should be a second comma after “now in a museum” – the treaty was signed on the desk, not on the museum ☺ The museum clause is dependent upon and descriptive of the desk. Rob From: Crm-sig <[email protected]> on behalf of Martin Doerr <[email protected]> Date: Monday, April 29, 2019 at 12:11 PM To: crm-sig <[email protected]> Subject: [Crm-sig] Issue 410 homework (P11 & P12) Dear All, Here my rewriting of the scope notes of P11 and P12. It is a part of the most fundamental reasoning in the CRM, which may be formulated in FOL. Likelihoods of course not;-). Comments most welcome! OLD: P11 had participant (participated in) Domain: E5 Event Range: E39 Actor Subproperty of: E5 Event. P12 occurred in the presence of (was present at): E77 Persistent Item Superproperty of: E7 Activity. P14 carried out by (performed): E39 Actor E67 Birth. P96 by mother (gave birth): E21 Person E68 Dissolution. P99 dissolved (was dissolved by): E74 Group E85 Joining.P143 joined (was joined by): E39 Actor E85 Joining.P144 joined with (gained member by): E74 Group E86 Leaving.P145 separated (left by):E39 Actor E86 Leaving.P146 separated from (lost member by):E74 Group P151 was formed from: E74 Group Quantification: many to many (0,n:0,n) Scope note: This property describes the active or passive participation of instances of E39 Actors in an E5 Event. It connects the life-line of the related E39 Actor with the E53 Place and E50 Date of the event. The property implies that the Actor was involved in the event but does not imply any causal relationship. The subject of a portrait can be said to have participated in the creation of the portrait. Examples: § Napoleon (E21) participated in The Battle of Waterloo (E7) § Maria (E21) participated in Photographing of Maria (E7) In First Order Logic: P11(x,y) ⊃ E5(x) P11(x,y) ⊃ E39(y) P11(x,y) ⊃ P12(x,y) NEW: Scope note: This property describes the active or passive participation of instances of E39 Actors in an E5 Event. The known events in which an instance of E39 Actor has participated can be seen as stations of his course of life, his history. The E53 Place and E52 Time-Span where and when these events happened provide us with constraints about the presence of the related E39 Actor in the past. Collective actors, i.e., instances of E74 Group, may physically participate in events via their representing E21 Persons only. The participation of multiple actors in an event is most likely an indication of their acquaintance and interaction. The property implies that the Actor was involved in the event but does not imply any causal relationship. For instance, someone having been portrayed can be said to have participated in the creation of the portrait. OLD: P12 occurred in the presence of (was present at) Domain: E5 Event Range: E77 Persistent Item Superproperty of: E5 Event. P11 had participant (participated in): E39 Actor E7 Activity. P16 used specific object (was used for): E70 Thing E9 Move. P25 moved (moved by): E19 Physical Object E11 Modification. P31 has modified (was modified by): E18 Physical Thing E63 Beginning of Existence. P92 brought into existence (was brought into existence by): E77 Persistent Item E64 End of Existence. P93 took out of existence (was taken out of existence by): E77 Persistent Item E79 Part Addition.P111 added (was added by): E18 Physical Thing E80 Part Removal.P113 removed (was removed by): E18 Physical Thing Quantification: many to many, necessary (1,n:0,n) Scope note: This property describes the active or passive presence of an E77 Persistent Item in an E5 Event without implying any specific role. It connects the history of a thing with the E53 Place and E50 Date of an event. For example, an object may be the desk, now in a museum on which a treaty was signed. The presence of an immaterial thing implies the presence of at least one of its carriers. Examples: § Deckchair 42 (E19) was present at The sinking of the Titanic (E5) In First Order Logic: P12(x,y) ⊃ E5(x) P12(x,y) ⊃ E77(y) NEW Scope note: This property describes the active or passive presence of an E77 Persistent Item in an E5 Event without implying any specific role. The known events in which an instance of E77 Persistent Item was present can be seen as stations of its course of existence, its history. For example, an object may be the desk, now in a museum on which a treaty was signed. The E53 Place and E52 Time-Span where and when these events happened provide us with constraints about the presence of the related E77 Persistent Item in the past. Instances of E90 Symbolic Object, in particular information objects, are physically present in events via at least one of the instances of E18 Physical Thing carrying them. Note, that the human mind can be such a carrier. A precondition for a transfer of information to a person or another new physical carrier is the presence of the respective information object and this person or physical thing in one event. -- ------------------------------------ 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: [email protected]<mailto:[email protected]> Web-site: http://www.ics.forth.gr/isl
