The logic system of concept graphs with negation and its relationship to predicate logicFrithjof DauÉpuisé4,0Prévenez-moi