Re: [Crm-sig] ISSUE 623, FOL for O15
The compact notation is very good. Chr-E From: Crm-sig on behalf of Athanasios Velios via Crm-sig Sent: 08 December 2022 22:05 To: crm-sig@ics.forth.gr Subject: Re: [Crm-sig] ISSUE 623, FOL for O15 Thank you both. I am assuming that Wolfgang's formulation is a shorter equivalent to Christian-Emil's. I will add it to the draft. Thanasis On 08/12/2022 15:31, Wolfgang Schmidle via Crm-sig wrote: > I would write it like this: > > O15(x,y) ⇒ S10(x) > O15(x,y) ⇒ E53(y) > O15(x,y) ∧ E18(x) ⇔ P156(x,y) > > Wolfgang > > >> Am 08.12.2022 um 15:33 schrieb Christian-Emil Smith Ore via Crm-sig >> : >> >> >> ISSUE 623, FOL for O15 >> >> I was asked to produce FOL for the sentence 'This property is equivalent to >> P156 occupies (is occupied by) with domain E18 Physical Thing and range E53 >> Place.' (marked in green). The equivalence is that O15 implies P156 when >> restricted to E18. The other way round is that P156 implies O15. P156 is a >> de facto sub property if O15 when seen from CRMsci >> >> Christian-Emil >> >> >> O15 >> occupied (was occupied by) >> >> >> Domain: >> S10 >> >> Material Substantial >> >> Range: >> E53 >> >> Place >> >> Equivalent to: >> E18 >> >> Physical Thing. >> P156 >> >> occupies (is occupied by): >> E53 >> >> Place >> >> Scope note: >> This property associates an instance of S10 Material >> Substantial with the instance of E53 Place that this substance occupied. >> It describes the space filled (occupied) by a physical matter. This property >> is the development of the shortcut expressed in the proposition of >> classification: “S20 Physical Feature” >> isA “E53 Place”. >> This property is equivalent to P156 occupies (is occupied by) with domain >> E18 Physical Thing and range E53 Place. >> >> Examples: [...] >> In First Order Logic: >> O15(x,y) >> >> ⇒ >> >> S10(x) >> >> O15(x,y) >> >> ⇒ >> >> E53(y) >> >> E18(x) >> >> ∧ O15(x,y) >> ⇒ P156(x,y) >> P156(x,y) >> >> ⇒ >> O15(x) >> >> >> >> >> >> >> ___ >> Crm-sig mailing list >> Crm-sig@ics.forth.gr >> http://lists.ics.forth.gr/mailman/listinfo/crm-sig > > > ___ > Crm-sig mailing list > Crm-sig@ics.forth.gr > http://lists.ics.forth.gr/mailman/listinfo/crm-sig ___ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig ___ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig
Re: [Crm-sig] ISSUE 623, FOL for O15
Thank you both. I am assuming that Wolfgang's formulation is a shorter equivalent to Christian-Emil's. I will add it to the draft. Thanasis On 08/12/2022 15:31, Wolfgang Schmidle via Crm-sig wrote: I would write it like this: O15(x,y) ⇒ S10(x) O15(x,y) ⇒ E53(y) O15(x,y) ∧ E18(x) ⇔ P156(x,y) Wolfgang Am 08.12.2022 um 15:33 schrieb Christian-Emil Smith Ore via Crm-sig : ISSUE 623, FOL for O15 I was asked to produce FOL for the sentence 'This property is equivalent to P156 occupies (is occupied by) with domain E18 Physical Thing and range E53 Place.' (marked in green). The equivalence is that O15 implies P156 when restricted to E18. The other way round is that P156 implies O15. P156 is a de facto sub property if O15 when seen from CRMsci Christian-Emil O15 occupied (was occupied by) Domain: S10 Material Substantial Range: E53 Place Equivalent to: E18 Physical Thing. P156 occupies (is occupied by): E53 Place Scope note: This property associates an instance of S10 Material Substantial with the instance of E53 Place that this substance occupied. It describes the space filled (occupied) by a physical matter. This property is the development of the shortcut expressed in the proposition of classification: “S20 Physical Feature” isA “E53 Place”. This property is equivalent to P156 occupies (is occupied by) with domain E18 Physical Thing and range E53 Place. Examples: [...] In First Order Logic: O15(x,y) ⇒ S10(x) O15(x,y) ⇒ E53(y) E18(x) ∧ O15(x,y) ⇒ P156(x,y) P156(x,y) ⇒ O15(x) ___ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig ___ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig ___ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig
Re: [Crm-sig] ISSUE 623, FOL for O15
I would write it like this: O15(x,y) ⇒ S10(x) O15(x,y) ⇒ E53(y) O15(x,y) ∧ E18(x) ⇔ P156(x,y) Wolfgang > Am 08.12.2022 um 15:33 schrieb Christian-Emil Smith Ore via Crm-sig > : > > > ISSUE 623, FOL for O15 > > I was asked to produce FOL for the sentence 'This property is equivalent to > P156 occupies (is occupied by) with domain E18 Physical Thing and range E53 > Place.' (marked in green). The equivalence is that O15 implies P156 when > restricted to E18. The other way round is that P156 implies O15. P156 is a de > facto sub property if O15 when seen from CRMsci > > Christian-Emil > > > O15 > occupied (was occupied by) > > > Domain: > S10 > > Material Substantial > > Range: > E53 > > Place > > Equivalent to: > E18 > > Physical Thing. > P156 > > occupies (is occupied by): > E53 > > Place > > Scope note: > This property associates an instance of S10 Material > Substantial with the instance of E53 Place that this substance occupied. It > describes the space filled (occupied) by a physical matter. This property is > the development of the shortcut expressed in the proposition of > classification: “S20 Physical Feature” > isA “E53 Place”. > This property is equivalent to P156 occupies (is occupied by) with domain E18 > Physical Thing and range E53 Place. > > Examples: [...] > In First Order Logic: > O15(x,y) > > ⇒ > > S10(x) > > O15(x,y) > > ⇒ > > E53(y) > > E18(x) > > ∧ O15(x,y) > ⇒ P156(x,y) > P156(x,y) > > ⇒ > O15(x) > > > > > > > ___ > Crm-sig mailing list > Crm-sig@ics.forth.gr > http://lists.ics.forth.gr/mailman/listinfo/crm-sig ___ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig