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 formulati
⇔ 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.' (m
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
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 tha