Edge list

Results from ConceptNet 5.8

Source: OpenCyc 2012
en skolem function (n)
― IsA ⟶
Weight: 1.0
en reifiable function (n) Source: OpenCyc 2012
en skolem funcn (n)
― IsA ⟶
Weight: 1.0
en skolem function (n) Source: OpenCyc 2012
en skolem function (n)
― IsA ⟶
Weight: 1.0
en indeterminate term denoting function (n) Source: OpenCyc 2012
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.