SMS versenden: The logic system of concept graphs with negation : and its relationship to predicate logic / Frithjof Dau.