Edge list

Results from ConceptNet 5.8

Source: English Wiktionary
en heyting algebra
― RelatedTo ⟶
Weight: 1.0
en relative pseudo complement Source: English Wiktionary
en heyting algebra (n)
― RelatedTo ⟶
Weight: 1.0
en bounded lattice Source: English Wiktionary
en relative pseudo complement (n)
― RelatedTo ⟶
Weight: 1.0
en heyting algebra Source: English Wiktionary
en heyting algebra (n)
― RelatedTo ⟶
Weight: 1.0
en heyting prealgebra Source: English Wiktionary
en heyting algebra (n)
― RelatedTo ⟶
Weight: 1.0
en logical calculus Source: English Wiktionary
en heyting algebra
― RelatedTo ⟶
Weight: 1.0
en residuated lattice Source: English Wiktionary
en heyting algebra (n)
― RelatedTo ⟶
Weight: 1.0
en binary operation Source: English Wiktionary
en heyting algebra
― RelatedTo ⟶
Weight: 1.0
en pseudo complement Source: English Wiktionary
en pseudo complement (n)
― RelatedTo ⟶
Weight: 1.0
en heyting algebra 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.