Tam-Olmayan Benzerlik kuramında “A, B dir” biçimindeki önermelerin doğruluğunun metafizik açıklayıcısı aşağıdaki gibidir:

I.   “A” bir somut nesne adı ise, “A, B dir” önermesinin doğruluğunun metafizik açıklayıcısı, “A somut nesnesi, ‘B’ yükleminin gösterdiği trop-benzerliği kümesi’nin öğesi olan bir tropu taşır” önermesidir.
II.  “A” bir trop adı ise, “A, B dir” önermesinin doğruluğunun metafizik açıklayıcısı, “A tropu, ‘B’ yükleminin gösterdiği trop-benzerliği kümesi’nin öğesidir” önermesidir.
III.  “A” bir nitelik adıi ise, “A, B dir” önermesinin doğruluğunun metafizik açıklayıcısı, “ ‘A’ nitelik adının gösterdiği trop-benzerliği kümesi, ‘B’ yükleminin gösterdiği trop-benzerliği kümesinin alt kümesidir” önermesidir.
IV.  “A1” ve “A2” iki somut nesne adı ise, “A1 ve A2’nin B-lik’i aynıdır” önermesinin metafizik açıklayıcısı, “A1’in B-lik’i ve A2’in B-lik’i, tambenzer
troplardır “ önermesidir.

V.  ) “A” bir trop adı ise, “A, B dir” önermesinin doğruluğunun metafizik açıklayıcısı, “A tropu, B doğal trop-kümesi’nin öğesidir” önermesidir. Bu önerme, Doğal trop kümesi adcılığı kuramında “A, B dir” biçimindeki önermelerin
doğruluğunun metafizik açıklayıcılarındandır.