Definition in the Philosophy of Al-Kindi, Al-Farabi, Ibn Sina