ConceptNet 5: Query results

en completeness ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en induce ^{(v, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en syncategorematic ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en extrapolate ^{(v, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en intensional ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en quantifier ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en corollary ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en logic operation ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en postulation ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en logical relation ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en arity ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en particular proposition ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en nonmonotonic ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en scopal ^{(a, grammar)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en presuppose ^{(v, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en negation ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en reflexivity ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en non sequitur ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en proposition ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en contradiction ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en synthetic ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en tautology ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en proof ^{(n, mathematics)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en categorematic ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en elicit ^{(v, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en noninterchangeable ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en negate ^{(v, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en logic ^{(n, computer_science)}

― HasContext ⟶

Weight: 2.0

en computer science ^{(n, computer)}

Source: Open Multilingual WordNet

en paradox ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en axiom ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en predicate ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en transitivity ^{(n, mathematics)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en explanans ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en quantify ^{(v, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en subject ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en apodeictic ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en inductive ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en interchangeable ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en explicandum ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en inferential ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en universal proposition ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en analytic ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en deduce ^{(v, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en extensional ^{(a, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en postulate ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en consistency ^{(n, logic)}

― HasContext ⟶

Weight: 2.0

en logic ^{(n, cognition)}

Source: Open Multilingual WordNet

en logic ⁽ⁿ⁾

― HasContext ⟶

Weight: 1.0

en philosophy

Source: English Wiktionary

en logic ⁽ⁿ⁾

― HasContext ⟶

Weight: 1.0

en mathematics

Source: English Wiktionary

Edge list

Results from ConceptNet 5.8

en completeness ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en induce ^{(v, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en syncategorematic ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en extrapolate ^{(v, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en intensional ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en quantifier ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en corollary ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en logic operation ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en postulation ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en logical relation ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en arity ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en particular proposition ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en nonmonotonic ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en scopal ^{(a, grammar)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en presuppose ^{(v, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en negation ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en reflexivity ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en non sequitur ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en proposition ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en contradiction ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en synthetic ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en tautology ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en proof ^{(n, mathematics)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en categorematic ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en elicit ^{(v, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en noninterchangeable ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en negate ^{(v, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en logic ^{(n, computer_science)}	― HasContext ⟶ Weight: 2.0	en computer science ^{(n, computer)}	Source: Open Multilingual WordNet
en paradox ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en axiom ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en predicate ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en transitivity ^{(n, mathematics)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en explanans ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en quantify ^{(v, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en subject ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en apodeictic ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en inductive ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en interchangeable ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en explicandum ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en inferential ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en universal proposition ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en analytic ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en deduce ^{(v, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en extensional ^{(a, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en postulate ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en consistency ^{(n, logic)}	― HasContext ⟶ Weight: 2.0	en logic ^{(n, cognition)}	Source: Open Multilingual WordNet
en logic ⁽ⁿ⁾	― HasContext ⟶ Weight: 1.0	en philosophy	Source: English Wiktionary
en logic ⁽ⁿ⁾	― HasContext ⟶ Weight: 1.0	en mathematics	Source: English Wiktionary