"Connected with" object properties #669
Replies: 1 comment
-
This might not be a perfect example, but say there's a bedroom that's directly adjacent to a hallway, and they don't overlap. There's a doorway in the bedroom that directly leads into the hallway. The bedroom's site has the doorway site as a spatial part (I suppose just grant that for this example). Since the doorway and the hallway sites are proposed to not be overlapping, they are externally connected to each other. And since the doorway site is part of the bedroom site, the bedroom site therefore is also externally connected with the hallway. The doorway site also serves as a tangential part of the bedroom in this example, since it's a site that's part of the bedroom site such that the hallway site connects (but doesn't overlap with) the bedroom and doorway sites. For a non-tangential part, imagine there's a closet in the center of the bedroom. Suppose the closet site is a part of the bedroom site. But since the closet is in the middle of the bedroom, there isn't something external to the bedroom that connects to the bedroom due to the closet site part. It doesn't connect to the hallway or kitchen or anything else external to the bedroom. Someone else could probably come up with a better illustrative example. Regarding 'connected with', does it suffice for whatever subtypes are not symmetric to have inverse relations, or is there a need to have 'is connected by' specifically? |
Beta Was this translation helpful? Give feedback.
Uh oh!
There was an error while loading. Please reload this page.
-
Can I get an ELI5 for
has_tangential_part = x has tangential part y iff x, y, and z are instances of Immaterial Entity, and x has_spatial_part y, such that z externally connects with both x and y.
and
has_nontangential_part = x has_nontangential_part y iff x and y are instances of Immaterial Entity, and x has_spatial_part y, such that there does not exist another instance of an Immaterial Entity which externally connects with both x and y.
and
externally_connects_with = An immaterial entity im1 externally connects with some immaterial entity im2 iff im1 connects with im2 and im1 does not overlap with im2.
Relatedly, there is no inverse property for "connected with". I imagine this is because "connected with" is best understood as a symmetrical relation. However, the subproperties are not all symmetrical, since some are parthood relations.
Beta Was this translation helpful? Give feedback.
All reactions