Issue 357: FOL representation for shortcuts

Starting Date: 
2017-10-10
Working Group: 
4
Status: 
Open
Background: 

Closing the issue 267, the sig  assigned HW to CEO to check all shortcuts FOL formulation.

Heraklion, October 2018

posted by CEO on 10/1/2018

<HW>

Dear all

I searched for 'shortcut, and picked out all property definition containing the term. The attached file contains all these. Of course, not all contain shortcut defintions,  but I have kept them in the file for reference. For the properties being defined as short cuts, I have added a FOL-definition and also done som minor corrections in the scope note.

I have formulated the FOL descriptions as definintions:

P8(x,y) ≡ ($z)[E53(z) ˄ P7(x,z) ˄ P156(y,z)] 

By doing so I have assumed that all the short cuts are strong, which they are with a few exceptions, for example

P7(x,y) ≡ ($z)[ E2(x)  ∧  E53(z) ∧ P161(x,z) ˄ P89(z,y)]

 Since P161 has a superclass of E4 Period as domain, we have to add the E2(x) clause to ensure implication from right to left. If the clause is dropped the shortcut is  of the ? type in (not strong, not weak). 

Reference to Issues: