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
<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
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig