Among the formal graphical methods are Frege's (1879) Begriffsschrift, Peirce's (1909) existential graphs, and Sowa's (1984) conceptual graphs. These three are based in first-order predicate logic.
Jeffrey A. Schiffel (2008) Improving Knowledge Management Programs Using Marginal Utility in a Metric Space Generated by Conceptual Graphs. p. 51 - About