Re: [Crm-sig] Issue 656 Homework

2024-02-19 Thread Martin Doerr via Crm-sig
s are defined in the same geometric system. >> >> Stephen Stead >> >> Mob: +44 (0)7802 755 013 >> >> ste...@paveprime.com >> >> *From:*Crm-sig *On Behalf Of *Martin >> Doerr via Crm-sig

Re: [Crm-sig] Issue 656 Homework

2024-02-19 Thread Eleni Tsouloucha via Crm-sig
s property is also part of the fully developed path implied by P7 > >> /took place at (witnessed), /from E4 Period through P161 has spatial > >> projection, E53 Place, P89 falls within to E53 Place, where both > >> places are defined in the same geometric system. > >

Re: [Crm-sig] Issue 656 Homework

2024-02-04 Thread Athanasios Velios via Crm-sig
err via Crm-sig *Sent:* Thursday, February 1, 2024 7:05 PM *To:* crm-sig *Subject:* [Crm-sig] Issue 656 Homework Dear all, I suggest the following addition to the scope note of P89, in yellow: P89 falls within (contains) Domain: E53 <#_toc8104> Place Range: E53 <#_toc8104> Place Qu

Re: [Crm-sig] Issue 656 Homework

2024-02-02 Thread Martin Doerr via Crm-sig
ehalf Of *Martin Doerr via Crm-sig *Sent:* Thursday, February 1, 2024 7:05 PM *To:* crm-sig *Subject:* [Crm-sig] Issue 656 Homework Dear all, I suggest the following addition to the scope note of P89, in yellow: P89 falls within (contains) Domain: E53 <#_toc8104> Place Range: E53 <#_

Re: [Crm-sig] Issue 656 Homework

2024-02-02 Thread Martin Doerr via Crm-sig
*Sent:* Thursday, February 1, 2024 7:05 PM *To:* crm-sig *Subject:* [Crm-sig] Issue 656 Homework Dear all, I suggest the following addition to the scope note of P89, in yellow: P89 falls within (contains) Domain: E53 <#_toc8104> Place Range: E53 <#_toc8104> Place Quantification: many t

Re: [Crm-sig] Issue 656 Homework,

2024-02-02 Thread Martin Doerr via Crm-sig
Dear All, We just observed that the FOL statements of P89 should also contain the formulation that both places need to be at rest to each other (i.e., fall into the same geometric system). This needs to be checked for all place to place relations. On 2/1/2024 9:04 PM, Martin Doerr via

Re: [Crm-sig] Issue 656 Homework

2024-02-02 Thread Stephen Stead via Crm-sig
: Crm-sig On Behalf Of Martin Doerr via Crm-sig Sent: Thursday, February 1, 2024 7:05 PM To: crm-sig Subject: [Crm-sig] Issue 656 Homework Dear all, I suggest the following addition to the scope note of P89, in yellow: P89 falls within (contains) Domain: E53 Place Range: E53 Place

[Crm-sig] Issue 656 Homework

2024-02-01 Thread Martin Doerr via Crm-sig
Dear all, I suggest the following addition to the scope note of P89, in yellow: P89 falls within (contains) Domain: E53 <#_toc8104> Place Range: E53 <#_toc8104> Place Quantification: many to many, necessary, dependent (1,n:0,n) Scope note: This property identifies an instance of E53