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<https://docs.google.com/document/d/16EuYBa9qmbUk1qS4lmI-HdCLTtAt-Ifq/edit#heading=h.3fwokq0> Material Substantial Range: E53<https://docs.google.com/document/d/16EuYBa9qmbUk1qS4lmI-HdCLTtAt-Ifq/edit#heading=h.14ykbeg> Place Equivalent to: E18<https://docs.google.com/document/d/16EuYBa9qmbUk1qS4lmI-HdCLTtAt-Ifq/edit#heading=h.3gnlt4p> Physical Thing. P156<https://docs.google.com/document/d/16EuYBa9qmbUk1qS4lmI-HdCLTtAt-Ifq/edit#heading=h.1vsw3ci> occupies (is occupied by): E53<https://docs.google.com/document/d/16EuYBa9qmbUk1qS4lmI-HdCLTtAt-Ifq/edit#heading=h.14ykbeg> 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 [email protected] http://lists.ics.forth.gr/mailman/listinfo/crm-sig
