(LK1) If ‘K’ is a natural-kind term

(LK1) If ‘K’ is a natural-kind term, there is a family of things associated with ‘K’, an appropriate part of which is believed to be true of members of K and only members of K;

(LK2) If ‘K’ is a natural-kind term, then if an appropriate part of what is believed to be true of members of K is in fact true of something, then that thing is indeed a member of K;

Hasil (Bahasa Indonesia) 1:

(LK1) Jika 'K' adalah istilah alam-kind, ada sebuah keluarga dari hal-hal yang terkait dengan 'K', merupakan bagian yang tepat yang diyakini benar anggota k dan hanya anggota k;(LK2) Jika 'K' adalah istilah alam-kind, maka jika merupakan bagian yang tepat dari apa yang diyakini menjadi benar anggota k sebenarnya benar sesuatu, maka hal itu memang anggota K;

Hasil (Bahasa Indonesia) 2:

(LK1) Jika 'K' adalah istilah alam-baik, ada keluarga hal yang berhubungan dengan 'K', merupakan bagian yang sesuai dari yang diyakini benar anggota K dan hanya anggota K; (LK2) Jika 'K' adalah istilah alam-baik, maka jika bagian yang tepat dari apa yang diyakini benar anggota K sebenarnya benar sesuatu, maka hal itu memang anggota dari K;