Edge list

Results from ConceptNet 5.8

Source: English Wiktionary
en turing degree (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en rhetorical induction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en functionhood (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ko 공리 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs indukce (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sufficient condition (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en falsidical (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en prenex (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subcontrary (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en formal fallacy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en supertruth (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en trilemma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en inference rule (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en principle of explosion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en depth (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en deep embedding (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it abduttivo (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt ou (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en dilemma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 公理 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul praeclarum theorema (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en vicious circle (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en mark (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predicate (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en vel (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en obversion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul so
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi propositiologiikka (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl tautologiczny (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en implicational propositional calculus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr déduction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl twierdzenie (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en deflationary (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi modaalilogiikka (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt xor (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt válido (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
nl paraconsistent (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi alisteinen (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en circular argument (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
he תנאי (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en dormitive virtue (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en hyperjump (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi aksiooma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en tilde (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it paraconsistente (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en truth function (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modus ponens (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc πρότασισ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul ι
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en or
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 二進 (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ar نفي (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl wtw
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 若且唯若
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
vi tiên đề (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc σημεῖον (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en just in case
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl wyprowadzać (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en formation rule (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt abdutivo (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en truth tree (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en propositional variable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi hylätä (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en metavariable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en existential instantiation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga fochontráir (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr prémisse (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en xor (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equivocation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en exclusive or (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi konjunktio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en kripke model (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt antilogismo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en axiomatic system (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en abductive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en protothetic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sh booleova varijabla (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de tautologie (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs podmínka (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en prejacent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en defeasible (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en deduction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en valuation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl tautologia (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en theory (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en nand (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ko 포함하다 (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs implikace (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 概括 (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la syllogismus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt dilema (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en minor premise (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi induktio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sv boolesk (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt booleano (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en denotation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en stronger (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt silogismo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs konzistentní (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en significate (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.