Dear All,
O13 "triggers" in CRMsci requires the triggering event to be finished by the
time the triggered event starts. In the example of rainfall causing a landslide
in the scope note, it would mean that continuing rainfall has to be split up
into the part before the landslide and after the
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
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
>
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)
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
