Edge list

Results from ConceptNet 5.8

Source: English Wiktionary
en proof by example (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl poprzednik (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equiprobable (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en coinduction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en member (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
th เงื่อนไข (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sld (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
hu posztulátum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de kennzeichnung (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en mereology (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en term (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt a priori (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en bandwagon fallacy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en clausal normal form (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en consilience (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contractionless (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conclusion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr assertorique (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en apodictically (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi totuusehto (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en colligation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr abductif (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga meitifisic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en succedent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi johtopäätös (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc ἄκρον (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it logica matematica (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subformula (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la protasis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en negation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi predikaattilogiikka (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en doxastic logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi tuonti (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superordination (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en free variable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt apodíctico (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sh booleova logika (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
te పూర్వపక్షము (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en supertrue (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subalternate (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt antinomicamente (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contradiction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs ekvivalence (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en material implication (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs schéma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en major premise (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en counterproof (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
es predicado (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en nontrue (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc κατασκευή (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi totuusjakauma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subaltern (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc τεκμήριον (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en maximal (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la conexum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it premessa (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it sintesi (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en definite clause (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en bisimulation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en intuitionistic (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en innuendo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
io induktar (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt termo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga mód (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt alético (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en connective (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en interpretation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en or (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc δεικτικόσ (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it calcolabile (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en ontology (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en eigenvariable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en crocodile (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 誤謬 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en counterpossible (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en a
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en horn clause (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en proof (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt tautologia (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en boolean logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en valuation function (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en proof system (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
syc ܥܠܝܬܐ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
es premisa (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi etujäsen (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr antécédent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modus ponendo ponens (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en mereological (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en falsum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en free (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sa लिङ्ग (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en presburger arithmetic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mn нөхцөл (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en double turnstile (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sv konjunktion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en constructive logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it sse
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en monome (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en antepredicament (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en medium (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.