Edge list

Results from ConceptNet 5.8

Source: English Wiktionary
en formal system (n)
― RelatedTo ⟶
Weight: 1.0
en inference rule Source: English Wiktionary
en formal system (n)
― RelatedTo ⟶
Weight: 1.0
en formal language Source: English Wiktionary
en deontic logic (n)
― RelatedTo ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en modal logic (n)
― RelatedTo ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en second order logic (n)
― RelatedTo ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en propositional logic (n)
― RelatedTo ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en logical system (n)
― RelatedTo ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en antimatroid (n)
― RelatedTo ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en logical calculus (n)
― RelatedTo ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en polymorphism (n)
― RelatedTo ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en löb's theorem (n)
― RelatedTo ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en formal system (n)
― RelatedTo ⟶
Weight: 1.0
en axiom Source: English Wiktionary
en automaton (n)
― RelatedTo ⟶
Weight: 1.0
en formal system 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.