Not-Being in Sophist

The following is an attempt to explore all the different meanings of "is" and "be" that I have seen scholars talk about or thought of in reading Plato.
The following is a mess: some of these things work in English, some don't, and some work easily in Greek, while some don't.
Also, the "is" discussed here is a single verb in Greek and a single verb in English, BUT there are synonyms that work for some of these meanings, both in Greek and English.
So this is not entirely about English or Greek or what these things refer to or how the words are used in sentences.
It's a mess, a mash-up. But a good one, one that should show us how big the problems are that underlie using simple little words we hardly ever think about.
  1. 'X is Y' can mean:
    1. X and Y are identical: they are completely the same thing. 'This triangle is the triangle I am referring to.'
    2. X and Y are a member of a set and a set: 'this obstuse triangle is a triangle.'
    3. Y is a predicate of X: Y applies accurately to X as a quality/quantity, etc.: 'This thing is red.' 'This thing is twofold.'
      1. NOTE: 1.2 and 1.3 may be the same: it perhaps depends if you think it makes a difference when Y is a noun v. an adjective: or perhaps it depends on the sort of thing Y refers to: you might think that such sentences involve X's that are natural kinds, whereas the Y's are everything else.
  2. and then there is the difference:
    1. X is Y in its own right, by itself: let's call this requiring two things
      1. The horse is an equine (regardless of anything other than the horse: all we need is the horse and whatever 'being' the word 'is' means)
    2. X is Y in a way that requires other things: let's call this requiring > 2 things.
      1. The horse is my father's. (which requires a horse and me and my father and something like what 'is' refers to, perhaps a 'belonging' relation)
  3. A whole new set of different meanings of "be": "X is" can mean:
    1. X is.= X exists. which we could redo as 'X isEP.' This means that X exists physically. Only physical, spatio-temporal things can be X.
    2. X is.= X is a form. which we could redo as 'X isEF.' This means that x exists in that permanent unchanging way that Forms do. Only forms can be X.
    3. X is.= X is true. which we could redo as 'X isT.' This means that X is true.
    4. X is.= X is good. which we could redo as 'X isG.' This means that X is good.
    5. X is.=X is real. which we could redo as X isR. This means that X is among the things we think are 'real' (for Plato, probably, all physically existent things are real, but there are also other (more) real things, Forms)
    6. X is.=X is some thing. Which we could redo as X is a thing, one of the set of things we call things (includes physical things, Forms, and fictional things, figments of imagination, and maybe even things that don't exist and no one has even thought of, and maybe even nonsense, etc.)