Edge list

Results from ConceptNet 5.8

Sources: English Wiktionary and Open Multilingual WordNet
en interchangeable (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 quantify (v, logic)
― HasContext ⟶
Weight: 2.0
en logic (n, cognition) Source: Open Multilingual WordNet
en argument form (n)
― HasContext ⟶
Weight: 2.0
en logic Source: English Wiktionary
en corollary (n, logic)
― HasContext ⟶
Weight: 2.0
en logic (n, cognition) Source: Open Multilingual WordNet
sh formula (n)
― HasContext ⟶
Weight: 2.0
en logic Source: English Wiktionary
en reflexivity (n, logic)
― 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 elicit (v, 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 synthetic (a, 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 quantifier (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 postulation (n, 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 proof (n, mathematics)
― 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 inferential (a, 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 induce (v, logic)
― HasContext ⟶
Weight: 2.0
en logic (n, cognition) Source: Open Multilingual WordNet
sh argument (n)
― HasContext ⟶
Weight: 2.0
en logic Source: English Wiktionary
en axiom (n, logic)
― 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 non sequitur (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 noninterchangeable (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 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 intensional (a, 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 particular proposition (n, logic)
― 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 contradiction (n, 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 logic (n, computer_science)
― HasContext ⟶
Weight: 2.0
en computer science (n, computer) Source: Open Multilingual WordNet
en predicate (n, 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 explicandum (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 postulate (n, 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 completeness (n, 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 deduce (v, 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 subject (n, logic)
― HasContext ⟶
Weight: 2.0
en logic (n, cognition) Source: Open Multilingual WordNet
en paradox (n, logic)
― HasContext ⟶
Weight: 2.0
en logic (n, cognition) Source: Open Multilingual WordNet
en inclusive disjunction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en dormitive principle (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs booleovská logika (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en one to many (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr si et seulement si
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en postulation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en interdefinable (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs klamná analogie (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en unlesss
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superfalsehood (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sv teori (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el λήμμα (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 公設 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en entscheidungsproblem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc πρόσληψισ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs konjunkce (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt quantificador (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en perspicuous (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predicate logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en law of nontriviality (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en many to many (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul con
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr conséquent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi partikulaari (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs dedukce (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de boolesch (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equisatisfiability (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it assioma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en affirmative (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs četnost (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en polish notation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sound (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en rewriting (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl następnik (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi epätosi (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en comparate (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en fol (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en distributive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ko 종합 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr condition nécessaire (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi kvanttori (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sequent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr colligance (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equivalence (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en analysis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it episillogismo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga nárthacht (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superordinate (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en kripke frame (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr stœchiologie (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en law of double negation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.