Edge list

Results from ConceptNet 5.8

Source: English Wiktionary
en gödel number (n)
― RelatedTo ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en well formed formula (n)
― RelatedTo ⟶
Weight: 1.0
en correct Source: English Wiktionary
en free variable (n)
― RelatedTo ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en well formed formula (n)
― RelatedTo ⟶
Weight: 1.0
en valid Source: English Wiktionary
en well formed (a)
― RelatedTo ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en prime formula (n)
― RelatedTo ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en maximal (n)
― RelatedTo ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en formation rule (n)
― RelatedTo ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en complete (a)
― RelatedTo ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en lambda term (n)
― RelatedTo ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en valuation function (n)
― RelatedTo ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en inference rule (n)
― RelatedTo ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en well formed formula (n)
― RelatedTo ⟶
Weight: 1.0
en syntactically 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.