The Logic System of Concept Graphs With Negation: And Its Relationship to Predicate Logic (LECTURE NOTES IN COMPUTER SCIENCE)