Dear all, I am trying to understand P53 and P56.
About E18: What would be an example of an E18 Physical Thing that doesn't belong to any subclass of E18, which are E19 Physical Object, E24 Physical Man-Made Thing and E26 Physical Feature? Are there things that are E19 and E26 at the same time?
P53 "has former or current location" has the domain E18, but the fully developed path starts with E19. Take an E18 that is not an E19, for example the cave “Ideon Andron” in Crete (E26). Is it correct that in this case P53 is not a shortcut of "E19 P25i moved by E9 Move P26 moved to / P27 moved from E53"? If so, is it because going though E9 Move wouldn't make sense? Is P53 the only shortcut that can be extended only for a subset of its domain or range? Is a tsunami wave a (moving) feature of an ocean, or not?
About P56: Is the following correct? "E19 P56 bears feature E26" can always be extended to "E18 P59 has section E53 Place P53i is former or current location of E18". The converse is only true if the domain of P59 is not only E18 but also E19 and the range of P53i is not only E18 but also E26. Since E26 rules out E19, this means that the P53i in the fully developed path of P56 is in itself not a shortcut here. However, P59 is still a sortcut of "P58 has section definition E46 Section Definition P87i identifies". Taken together, "E19 P56 bears feature E26" can be extended to "E19 P58 has section definition E46 Section Definition P87i identifies E53 Place P53i is former or current location of E26".
Thanks, Wolfgang
