It is such a language, but it’s so complex that ’not everybody’ likes it.
A big problem with such languages is that you want to use diagrams to tell a story, and that story may require showing more or less details, depending on the goals of the diagram.
Consequently, you may both need a generic “A is related to B” arrow between objects and specialized “A owns B, so if A is destroyed, so will B”, “A knows B, and nobody else does, but if A is destroyed, B may live on”, “A knows B, and they more or less are equals”, “A knows B, and so may up to 5 others”, etc.
Because PEOPLE.