Edge list

Results from ConceptNet 5.8

Sources: DBPedia 2015, OpenCyc 2012, English Wiktionary, and Open Multilingual WordNet
en axiom (n, logic)
― IsA ⟶
Weight: 2.0
en proposition (n, logic) Source: Open Multilingual WordNet
en Euclid's postulate (n, mathematics)
― IsA ⟶
Weight: 2.0
en axiom (n, logic) Source: Open Multilingual WordNet
en parallel axiom
― IsA ⟶
Weight: 1.0
en axiom (n) Source: English Wiktionary
en axiom (n)
― IsA ⟶
Weight: 1.0
en propositional information (n) Source: OpenCyc 2012
en completeness axiom
― IsA ⟶
Weight: 1.0
en axiom (n) Source: English Wiktionary
en axiom (n)
― IsA ⟶
Weight: 1.0
en well formed formula Source: English Wiktionary
en axiom of choice
― IsA ⟶
Weight: 1.0
en axiom (n) Source: English Wiktionary
en axiom (n, computer_algebra_system)
― IsA ⟶
Weight: 0.5
en software (n) Source: DBPedia 2015
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.