ConceptNet 5: Query results

en first order logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en domain of discourse	Source: English Wiktionary
en herbrandization ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary
en skolemization ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary
en tautology ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary
en first order logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en propositional logic	Source: English Wiktionary
en predicate logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary
en second order logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary
en presburger arithmetic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary
mul fo	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary
en monadic second order logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary
en peano arithmetic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary