 Knowledge or understanding (A6) seems to be the Mohist analogue to what we might call discursive or theoretical knowledge, systematic knowledge of various things and relations between them. But there are interesting differences between the Mohist conception of such knowledge and conceptions prevalent in the Western tradition. The Mohists regard the structure of such knowledge as a system of classifications—of relations and distinctions among various kinds (lèi 類)—and not, for example, as a deductive system. They do not see knowledge as having a sentential or propositional structure. Knowing is not a matter of the subject’s standing in a certain relation to a true proposition; indeed, their account makes no mention of beliefs, propositions, or truth. Rather, knowledge or understanding is explained as a kind of ability or know-how: the ability to use ‘the knowing’ to “sort” things, which is to distinguish them into kinds and apply the appropriate names to them. This know-how corresponds functionally to propositional knowledge, in that it will typically be expressed in statements of the form “A is B”—such as “oxen are animals”—which by our lights express facts or true propositions. But the Mohists’ explanation is that such a statement manifests the skill or ability to “sort” or “distinguish” oxen as falling within the kind animal.