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 > <crm-sig@ics.forth.gr>: > > > 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