Edge list

Results from ConceptNet 5.8

Source: English Wiktionary
mul 2 sat
― RelatedTo ⟶
Weight: 1.0
en clause Source: English Wiktionary
mul 2 sat
― RelatedTo ⟶
Weight: 1.0
mul 3 sat Source: English Wiktionary
mul 2 sat
― RelatedTo ⟶
Weight: 1.0
en literal Source: English Wiktionary
mul 2 sat
― RelatedTo ⟶
Weight: 1.0
en formula Source: English Wiktionary
mul 2 sat
― RelatedTo ⟶
Weight: 1.0
en decision problem Source: English Wiktionary
mul 2 sat
― RelatedTo ⟶
Weight: 1.0
mul sat Source: English Wiktionary
mul 2 sat
― RelatedTo ⟶
Weight: 1.0
en satisfiable Source: English Wiktionary
mul 2 sat
― RelatedTo ⟶
Weight: 1.0
en conjunctive normal form 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.