Neuro-Symbolic Deductive Reasoning for Cross-Knowledge Graph Entailment