Bisa jadi kata "kambing" adalah sesuatu yang universal, suatu hal yang hadir dalam setiap ucapan yang terdengar dari kata itu. Dan mungkin kelas atau jenis alami itu sendiri bersifat universal  mungkin ada yang namanya "kambing" atau spesies Equus caballus , berbeda dari atribut definisinya "menjadi kambing" atau "kesetaraan", dan dalam beberapa rasa "hadir dalam" setiap kambing.Â
Mungkin beberapa perbedaan antara atribut "menjadi kambing" dan atribut "menjadi kambing atau anak kucing" menjelaskan mengapa yang pertama adalah atribut yang menentukan jenis dan yang terakhir tidak. Mungkin atribut sebelumnya ada dan yang terakhir tidak tidak; mungkin yang pertama memiliki atribut orde kedua "kealamian" dan yang terakhir tidak; mungkin yang pertama lebih mudah dipahami oleh intelek daripada yang terakhir. Â
Tesis  universal ada  atau setidaknya "bertahan" atau "telah ada" disebut dengan berbagai cara disebut 'realisme' atau 'realisme Platonnis' atau 'Platonnisme'. Ketiga istilah tersebut tidak menyenangkan. Aristotle percaya pada realitas universal, tetapi akan lebih baik jika dikatakan  dia adalah seorang Platonnis atau seorang realis Platonnis.
Dan 'realisme' pengadilan telah berfungsi sebagai nama untuk berbagai tesis filosofis. Tesis yang universal tidak ada  idak sebanyak yang ada; tidak memiliki bentuk apa pun  umumnya disebut 'nominalisme'. Istilah ini  tidak dapat diterima. Pada suatu waktu, mereka yang menolak keberadaan universal suka mengatakan hal-hal seperti:  Tidak ada yang namanya "menjadi kambing": hanya ada nama [ nomen , gen. nominis ]  sebuah flatus vocis belaka [embusan suara].
Namun, nominalis masa kini sadar, jika nominalis sebelumnya tidak,  jika frasa 'nama "kambing menunjuk suatu objek, objek yang ditunjuknya itu sendiri akan menjadi universal atau sesuatu yang sangat mirip satu. Itu tidak  menjadi embusan suara belaka, melainkan akan menjadi apa yang biasa bagi banyak embusan suara yang merupakan tokennya.
Perdebatan lama antara nominalis dan realis berlanjut hingga hari ini. Sebagian besar realis mengira  universal merupakan salah satu kategori makhluk. Anggapan ini tentu saja bisa diperdebatkan tanpa absurditas. Mungkin ada kelas alami dari hal-hal yang dimiliki semua universal tetapi yang mengandung hal-hal lain  (dan bukan kelas dari semua hal). Mungkin, misalnya, angka dan proposisi bukanlah yang universal, dan mungkin angka dan proposisi dan universal adalah semua anggota kelas "objek abstrak", sebuah kelas yang tidak dimiliki beberapa hal.
Atau mungkin ada yang namanya  objek ini dan "keputihan" universal  tetapi bukan  itu sendiri  keduanya termasuk ke dalam kelas "properti". Mari  sebut kelas semacam itu  subkelas yang tepat dari kategori ontologis, kelas alami yang bukan kelas dari semua hal atau salah satu kategori ontologis  'sub-kategori ontologis'. Mungkin memang universal membuat sub-kategori makhluk dan anggota kategori "objek abstrak". Tetapi hanya sedikit jika ada filsuf yang menganggap  yang universal adalah anggota dari empat puluh sembilan sub-kategori   apalagi dari jumlah yang sangat besar atau jumlah sub-kategori yang tak terhingga.
Sebagian besar filsuf yang percaya pada realitas universal ingin mengatakan  universal, jika mereka bukan merupakan kategori ontologis, setidaknya merupakan salah satu dari sub-kategori "lebih tinggi". Jika anjing membentuk kelas alami, kelas ini  menurut definisi   sub-kategori ontologis. Dan kelas ini tidak diragukan lagi akan menjadi subkelas dari banyak sub-kategori: genus canis, kelas (dalam pengertian biologis) mamalia  dan seterusnya melalui rantai sub-kategori yang akhirnya mencapai beberapa sub-kategori yang sangat umum seperti "Substansi" atau "objek material".
Jadi, meskipun anjing dapat menyusun sub-kategori ontologis, sub-kategori ini  tidak seperti kategori "universal"  adalah salah satu sub-kategori "lebih rendah". Refleksi-refleksi ini menyarankan  topik "kategori-kategori makhluk" harus dipahami untuk memahami kategori-kategori makhluk sensu stricto dan sub-kategori langsung mereka.
Apakah topik "kategori makhluk" milik metafisika dalam arti "lama";  Sebuah kasus dapat dibuat untuk mengatakan  hal itu terjadi, berdasarkan pada fakta  teori bentuk Platon (universal, atribut) adalah tema yang berulang dalam Metafisika Aristotle.
Dalam Metafisika , dua tesis sentral Platon tentang bentuk-bentuk muncul untuk kritik yang kuat: (i)  hal-hal yang, jika ada, menjadi "tidak aktif" (bentuk-bentuk) dapat menjadi makhluk primer, benda-benda "paling nyata", dan (ii)  atribut benda ada "terpisah" dari benda yang atributnya ada, hanya akan peduli dengan (ii). Dalam terminologi Sekolah-sekolah, kritik itu dapat diajukan sebagai berikut: Platon salah meyakini  universal ada ante res (sebelum objek); pandangan yang benar adalah  universal ada dalam rebus (objek).