Orang Asing mengumumkan  ada lima jenis besar ( Sophist 254b-c), dan dia akan mengajukan dua pertanyaan tentang mereka: (1) Dari jenis apa mereka;  dan (2) kapasitas apa yang mereka miliki untuk bergaul dengan hal-hal lain;  ( Sophist 254c). Kelima jenis itu adalah perubahan, istirahat, keberadaan, kesamaan dan perbedaan, dan ia akhirnya akan menafsirkan tidak-ada sebagai perbedaan ( Sophist 257b, 258e - 259a). Dia tidak mengatakan  kelima orang ini adalah satu-satunya jenis yang hebat. Mungkin ada yang lain, termasuk persamaan dan ketidaksamaan, kesatuan dan banyak (  Parmenides 129d - e dan 130b). Bagian kedua dari Parmenides menyelidiki jenis-jenis seperti itu, terutama kesatuan dan banyak, keberadaan dan tidak, tetapi  kesamaan dan perbedaan, persamaan dan ketidaksamaan, persamaan dan ketidaksetaraan, dan lain-lain. Pengunjung mungkin memilih lima yang ia lakukan dalam Sofist , karena untuk tujuan ini ia membutuhkan sepasang lawan yang mengecualikan satu sama lain (perubahan dan istirahat, digambarkan sebagai "paling berlawanan" [ Sophist 250a, berfungsi sebagai bentuk konsonan yang saling eksklusif) dan tiga bentuk vokal  keberadaan, kesamaan, dan perbedaan  memungkinkan jenis-jenis saling cocok atau untuk dilepas dari yang lain.
Bagian utama dari sofis telah banyak dibahas dan masih kontroversial. Perbedaan antara bentuk konsonan dan bentuk vokal menyangkut cara jenis berhubungan dengan jenis lain, tetapi jenis bentuk yang berbeda biasanya memainkan dua peran ini. Bentuk konsonan memiliki konten kategori  yaitu, mereka dapat disusun menjadi pohon spesies-genus, seperti entitas dalam Kategori Aristotle  dan seperti jenis pada divisi sebelumnya dalam Sofis . Bentuk-bentuk vokal kosong dari konten kategororial tetapi memiliki konten struktural, dan yang terbaik dari yang hebat berlaku untuk semuanya. Para filsuf di Abad Pertengahan akan menyebut transendental semacam itu, karena mereka melampaui sepuluh kategori Aristotle  (substansi, kuantitas, kuantitas, dan kategori lainnya); Gilbert Ryle menyebut mereka syncategorematic . Entitas-entitas ini bukan jenis yang sangat umum  dipandang seperti itu, mereka akan dikategorikan, karena genera tertinggi memiliki konten kategori (sangat umum). Dalam kata-kata Ryle, bentuk vokal "berfungsi tidak seperti batu bata tetapi seperti susunan batu bata dalam bangunan". Mereka menyusun jenis lain dan memungkinkan mereka untuk berhubungan satu sama lain. Mari kita sebut mereka jenis struktural (jangan mengambil label untuk menyarankan  jenis kategori kekurangan struktur, hanya saja jenis struktural murni struktural dan memperoleh konten kategororial melalui aplikasi mereka).
Jenis struktural berlaku untuk individu kategori dan jenis atas dasar lainnya, pada akhirnya kategori properti yang dimiliki entitas. Sebagai contoh, dua objek sama atau tidak sama jika mereka memiliki ukuran atau durasi tertentu, atau jika mereka dapat dihitung. Dua objek seperti, jika mereka memiliki satu atau lebih properti yang sama. Kubus merah dan bola merah seperti karena mereka berbagi kemerahan yang sama. Mereka tidak seperti, karena mereka memiliki bentuk yang berbeda. Sifat jenis struktural ditentukan oleh peran fungsionalnya dalam memungkinkan jenis kategororial menjadi seperti apa mereka dan / atau untuk berasosiasi dengan atau berbeda satu sama lain.
Perubahan jenis besar dan istirahat bermasalah, karena mereka kadang-kadang diperlakukan sebagai jenis kategori misalnya, dalam perubahan Parmenides dibagi menjadi perubahan spesies dan penggerak, dan penggerak dibagi lagi menjadi pemintalan di tempat yang sama dan bergerak dari satu tempat ke yang lain ( Parmenides 138b-c,  Theaetetus 181c-d)  di mana terkadang mereka terdaftar bersama dengan jenis struktural lainnya, misalnya, Parmenides 129d -e, 136a-c. (Untuk interpretasi alternatif tentang perubahan dan istirahat dalam Sofis;
Apa pun yang akhirnya dipikirkan Platon  tentang status perubahan dan istirahat, pada paruh kedua Sofis, Asingnya membutuhkan mereka untuk bertindak sebagai lawan, satu sama lain. eksklusif, jenis konsonan dan menggunakannya berulang kali dalam argumennya menandai lima jenis besar dari satu sama lain. Jadi kita harus menafsirkan mereka di sana sebagai jenis konsonan / kategororial.
Pada bagian pertama bagian ini ( Sophist 254d-255e), Stranger menjawab pertanyaan (1): Dari jenis apa masing-masing jenis yang hebat itu;  Dia membedakan masing-masing dari lima jenis dari satu sama lain, mulai dengan menjadi, berubah, dan beristirahat. Ubah dan istirahat, sebagai lawan, tidak bergaul satu sama lain; tetapi berlaku untuk keduanya, karena kita mengatakan  keduanya. Wujud harus merupakan jenis ketiga yang berbeda dari mereka, karena jika wujud, yang berlaku pada kedua lawannya, sama dengan keduanya katakanlah perubahan maka ketika diterapkan pada istirahat, dengan penggantian yang lain akan mengambil bagian dari kebalikannya sendiri, yaitu mustahil (Sophist 254d, dengan 249e - 250c). Orang Asing menggunakan argumen serupa untuk menunjukkan  kesamaan dan perbedaan berbeda dari perubahan dan istirahat (Sophist 254d - 255b). Lebih jauh, wujud berbeda dari kesamaan. Mereka harus berbeda, karena jika tidak, ketika kita mengatakan  perubahan dan istirahat keduanya, kita dapat mengganti "adalah" dengan "sama," dan perubahan akan sama dengan yang lain ( Sophist 255b-c). (Banyak yang bisa dikatakan tentang kesamaan
Akhirnya, Orang Asing membedakan perbedaan dari yang ada. Argumen ini memperkenalkan perbedaan penting antara dua indera atau penggunaan "adalah" dan layak untuk subbagian yang terpisah. Orang Asing menggunakan perbedaan penting untuk menandai perbedaan dari menjadi: Tapi saya kira Anda setuju  sementara beberapa hal sendiri dengan sendirinya (auta kath 'hauta ), yang lain selalu dikatakan dalam kaitannya dengan hal-hal lain (pro alla). Tentu saja. Tapi bukankah perbedaan selalu dalam kaitannya dengan sesuatu yang berbeda ( pro heteron );  - Ya. Dan ini tidak akan menjadi masalah, jika keberadaan dan perbedaan tidak berbeda. Karena jika perbedaan mengambil kedua bentuk [yaitu, auto kath 'hauto dan pro alla, seperti yang terjadi, maka sesuatu bahkan di antara hal-hal yang berbeda dapat berbeda tanpa berbeda dalam kaitannya dengan sesuatu yang berbeda. Tetapi pada kenyataannya ternyata bagi kita  apa pun yang berbeda adalah hal yang [berbeda dari sesuatu yang berbeda. (Sophist 255c - d); Jadi sifat perbedaan adalah jenis kelima (Sophist 255d-e).
Lebih jauh, kita akan mengatakan  itu meliputi mereka semua, karena masing-masing berbeda dari yang lain bukan karena sifatnya sendiri, tetapi karena ia mengambil bentuk yang berbeda. (Sophist 255e); Perbedaan itu berbeda dari makhluk, karena perbedaan selalu relatif terhadap hal-hal lain (pro alla), sedangkan makhluk itu sendiri dengan sendirinya ( auto kath 'hauto ) dan relatif terhadap hal-hal lain (pro alla).  Apa itu sesuatu untuk menjadi dirinya sendiri dan / atau dalam kaitannya dengan hal-hal lain;  Pemahaman tradisional tentang pembedaan ini bergantung pada suatu bagian dari Diogenes Laertius (paruh pertama abad ke-3 M). Diogenes menggunakan ungkapan "dalam kaitannya dengan sesuatu" ( pros ti ) sebagai pengganti "dalam kaitannya dengan hal-hal lain" (pro alla ):
Dari hal-hal yang ada, ada yang sendiri ( kath 'heauta ), sedangkan yang lain dikatakan dalam kaitannya dengan sesuatu ( pros ti ). Hal-hal yang dikatakan oleh mereka sendiri adalah hal-hal yang tidak perlu lebih jauh dalam interpretasi mereka. Sebagai contoh, ini adalah manusia, kuda, dan hewan lainnya, karena tidak ada yang memperoleh keuntungan melalui interpretasi. Semua hal yang dikatakan dalam kaitannya dengan sesuatu membutuhkan tambahan beberapa interpretasi, misalnya, apa yang lebih besar dari sesuatu dan apa yang lebih cepat dari sesuatu dan yang lebih indah dan hal-hal semacam itu. Karena yang lebih besar lebih besar daripada sesuatu yang lebih sedikit dan lebih cepat lebih cepat daripada sesuatu. Maka dari hal-hal-itu-ada yang dikatakan sendiri oleh mereka sendiri ( auta kath 'hauta ), sedangkan yang lain dikatakan dalam kaitannya dengan sesuatu ( pros ti ). Dengan cara ini, menurut Aristotle , dia [Platon  digunakan untuk membagi hal-hal utama. (Diogenes Laertius 3.108-109)
Banyak cendekiawan berpikir  , dengan mengatakan  makhluk dikatakan dengan sendirinya (auto kath 'hauto ) dan dalam hubungannya dengan hal-hal lain ( pro alla ), Platon  membedakan indra yang berbeda dari kata kerja "menjadi" - rasa yang lengkap atau absolut ( "Ada," seperti dalam "Laut itu") dan perasaan yang tidak lengkap ("adalah" predikasi, seperti dalam "laut itu biru" dan / atau "adalah" identitas, seperti dalam "laut adalah lautan "). Tidak ada kata kerja terpisah "to exist" dalam bahasa Yunani klasik; keberadaan diekspresikan melalui kata kerja "menjadi."
Jika Orang Asing mencirikan memiliki dua (atau lebih) indera, kami berharap Platon  menyebutkan dua (atau lebih) bentuk, satu untuk setiap indera. Perhatikan  Orang Asing memperkenalkan kesamaan sebagai jenis yang berbeda, yang harus menjaga "adalah" identitas, sehingga masalah sebenarnya adalah apakah Platon  membedakan dua indera lain dari kata kerja "menjadi," rasa eksistensial lengkap dan predikatif tidak lengkap merasakan.  Platon  tidak menandai dua pengertian dari kata kerja "menjadi," tetapi hanya penggunaan yang berbeda. Ada perbedaan yang signifikan antara pandangan para sarjana ini, tetapi kesamaan mereka,  Platon  menggunakan "keberadaan" hanya sebagai predikat yang tidak lengkap, telah dipertanyakan. Kalimat dalam Sofist , seperti "Perubahan adalah, karena ia mengambil bagian dari menjadi" [Sophist 256a), paling alami ditafsirkan sebagai menggunakan "adalah" sebagai predikat lengkap (keberadaan).
