SORU: Her somut nesne, her Trop’u taşımak zorunda mıdır?
CEVAP: Her somut nesne ait olduğu nesne türüne özgü, örneğin, Renk, Şekil, Ağırlık, Uzay, Zaman gibi fonksiyon biçiminde en üst türden bazı belirlenebilir özellikler taşır. Buna karşılık bu somut nesnelerden yalnız bazıları Kırmızılık, Dikdörtgen-şeklinde-olma, 5 kg-altındakiağırlığı, 10 m3-hacminden-az-olan-uzay-bölgesi, 24- saatten-kısa-zaman-süresi gibi fonksiyon biçiminde daha alt türden belirlenebilir özellikler taşır. Örneğin gözlemlenebilir saydam olmayan her cismin bir rengi olmasına karşın her cisim kırmızı değildir. A yeşil renkli bir cisim olsun. Bu durumda Renk (A) yeşil olmasına karşın Kırmızılık (A) var değildir. A cismi 3 kg ağırlığında ise, 5 kg-altındaki-ağırlık (A) 3 kg olur, ama A cisminin ağırlığı 6 kg ağır- lığında olsaydı, 5 kg-altındaki-ağırlık(A) var olmazdı. A cisminin t anında kapladığı U, uzay bölgesinin hacmi 8 m3 olsun. Buna göre 10 m3-hacminden-az-olanuzay-bölgesi (A) Ut. Buna karşılık A cisminin t anında kapladığı Ut uzay bölgesi 11 m3 hacminde olsaydı, 10 m3hacminden-az-olan-uzay-bölgesi (A) var olmazdı. Son olarak A cismi, süresi 15 saat olan t1 ile t2 zamanları arasında, kısaca [t1, t2] zaman aralığında, varlığını sürdüren bir nesne olsun. Buna göre 24-saatten-kısazaman-süresi (A) [t1, t2]. Buna karşılık bu zaman aralığının süresi 25 saat olsaydı, 24-saatten-kısa-zamansüresi (A) var olmazdı.
