Aristotle: Categoriae (The Categories)

λέγεται τοῦ τινὸς ἀνθρώπου, ἐν ὑποκειμένῳ δὲ οὐδενί ἐστι· τὰ δὲ ἐν ὑποκειμένῳ μέν ἐστι, καθ᾿ ὑποκειμένου δὲ οὐδενὸς λέγεται (ἐν ὑποκειμένῳ δὲ λέγω, ὃ ἔν τινι μὴ ὡς μέρος ὑπάρχον ἀδύνατον χωρὶς εἶναι τοῦ ἐν ᾧ ἐστίν), οἷον ἡ τὶς γραμματικὴ ἐν ὑποκειμένῳ μέν ἐστι τῇ ψυχῇ, καθ᾿ ὑποκειμένου δ᾿ οὐδενὸς λέγεται, καὶ τὸ τὶ λευκὸν ἐν ὑποκειμένῳ μὲν τῷ σώματί ἐστιν (ἅπαν γὰρ χρῶμα ἐν σώματι), καθ᾿ ὑποκειμένου δὲ οὐδενὸς λέγεται· τὰ δὲ καθ᾿ ὑποκειμένου τε λέγεται καὶ ἐν ὑποκειμένῳ ἐστίν, οἷον ἡ ἐπιστήμη ἐν ὑποκειμένῳ μέν ἐστι τῇ ψυχῇ, καθ᾿ ὑποκειμένου δὲ λέγεται τῆς γραμματικῆς· τὰ δὲ οὔτ᾿ ἐν ὑποκειμένῳ ἐστὶν οὔτε καθ᾿ ὑποκειμένου τινὸς λέγεται, οἷον ὁ τὶς ἄνθρωπος καὶ ὁ τὶς ἵππος· οὐδὲν γὰρ τῶν τοιούτων οὔτε ἐν ὑποκειμένῳ ἐστὶν οὔτε καθ᾿ ὑποκειμένου λέγεται. Ἁπλῶς δὲ τὰ ἄτομα καὶ ἓν ἀριθμῷ κατ᾿ οὐδενὸς ὑποκειμένου λέγεται, ἐν ὑποκειμένῳ δὲ ἔνια οὐδὲν κωλύει εἶναι· ἡ γάρ τις γραμματικὴ τῶν ἐν ὑποκειμένῳ μέν ἐστι, καθ᾿ ὑποκειμένου δὲ οὐδενὸς λέγεται.

Ὅταν ἕτερον καθ᾿ ἑτέρου κατηγορῆται ὡς καθ᾿ ὑποκειμένου, ὅσα κατὰ τοῦ κατηγορουμένου λέγεται, πάντα καὶ κατὰ τοῦ ὑποκειμένου ῥηθήσεται, οἷον ἄνθρωπος κατὰ τοῦ τινὸς ἀνθρώπου κατηγορεῖται, τὸ δὲ ζῷον κατὰ τοῦ ἀνθρώπου· οὐκοῦν καὶ κατὰ τοῦ τινὸς ἀνθρώπου κατηγορηθήσεται τὸ ζῷον· ὁ γάρ τις ἄνθρωπος καὶ ἄνθρωπός ἐστι καὶ ζῷον.

Τῶν ἑτερογενῶν καὶ μὴ ὑπ᾿ ἄλληλα τεταγμένων ἕτεραι τῷ εἴδει καὶ αἱ διαφοραί, οἷον ζῴου καὶ ἐπιστήμης· ζῴου μὲν γὰρ διαφοραὶ τό τε πεζὸν καὶ τὸ δίπουν καὶ τὸ πτηνὸν καὶ τὸ ἔνυδρον, ἐπιστήμης δὲ οὐδεμία τούτων· οὐ γὰρ διαφέρει ἐπιστήμη ἐπιστήμης τῷ δίπους εἶναι. Τῶν δέ γε ὑπ᾿