ConceptNet 5: Query results

en existential instantiation ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate logic	Source: English Wiktionary
nl predicatenlogica ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate logic	Source: English Wiktionary
en predicate logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en many sorted logic	Source: English Wiktionary
cs predikátová logika ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate logic	Source: English Wiktionary
en predicate logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en second order logic	Source: English Wiktionary
en monadic predicate logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate logic	Source: English Wiktionary
en predicate calculus ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate logic	Source: English Wiktionary
de prädikatenlogik ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate logic	Source: English Wiktionary
en term logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate logic	Source: English Wiktionary
en predicate logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary
en predicate logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate calculus	Source: English Wiktionary
fi predikaattilogiikka ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate logic	Source: English Wiktionary
en relational model ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate logic	Source: English Wiktionary
en predicate logic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en infinitary logic	Source: English Wiktionary
en prenex normal form ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en predicate logic	Source: English Wiktionary