The compact notation is very good. Chr-E
________________________________ From: Crm-sig <[email protected]> on behalf of Athanasios Velios via Crm-sig <[email protected]> Sent: 08 December 2022 22:05 To: [email protected] 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 >> <[email protected]>: >> >> >> 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 >> [email protected] >> http://lists.ics.forth.gr/mailman/listinfo/crm-sig > > > _______________________________________________ > Crm-sig mailing list > [email protected] > http://lists.ics.forth.gr/mailman/listinfo/crm-sig _______________________________________________ Crm-sig mailing list [email protected] http://lists.ics.forth.gr/mailman/listinfo/crm-sig
_______________________________________________ Crm-sig mailing list [email protected] http://lists.ics.forth.gr/mailman/listinfo/crm-sig
