The logical forms generated from the conceptual graphs are taken into consideration during the textual entailment determination step that relies on the semantic and the logic representation to extract the desired answer.
[Sowa, 1984] defines an operator Φ (Phi) that transforms every element of a conceptual graph model into an element of first-order logic.