Knowledge representation, modeling, knowledge base, formal system, Clausal Form Logic, graph.

This paper follows the work of T. Rich-ards specialization Clausal Form Logic formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of semantic (associative) net-works. The goal of our research is to fol-low the direction towards graph-based clausal form knowledge representation shaped by Richards and build up a graph-based formal system. The new formal system Graph-based Clausal Form Logic has its own graph-based language with the expressivity similar to that one of CFL. As an example solution, a logical puzzle is presented.