ConceptNet 5: Query results

en formal system ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en inference rule	Source: English Wiktionary
en inference rule ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en formal language	Source: English Wiktionary
en natural deduction ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en inference rule	Source: English Wiktionary
en consensus theorem ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en inference rule	Source: English Wiktionary
en existential instantiation ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en inference rule	Source: English Wiktionary
en inference rule ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en truth	Source: English Wiktionary
en inference rule ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en preserving	Source: English Wiktionary
en proof system ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en inference rule	Source: English Wiktionary
en sequent calculus ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en inference rule	Source: English Wiktionary
en inference rule ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en well formed formula	Source: English Wiktionary