{
  "@context": [
    "http://api.conceptnet.io/ld/conceptnet5.7/context.ld.json"
  ],
  "@id": "/c/en/second_order_logic/n",
  "edges": [
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/second_order_logic/n/,/c/en/quantification/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/quantification",
        "@type": "Node",
        "label": "quantification",
        "language": "en",
        "term": "/c/en/quantification"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/en/second_order_logic/n",
        "@type": "Node",
        "label": "second order logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/second_order_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/second_order_logic/n/,/c/en/first_order_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/first_order_logic",
        "@type": "Node",
        "label": "first order logic",
        "language": "en",
        "term": "/c/en/first_order_logic"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/en/second_order_logic/n",
        "@type": "Node",
        "label": "second order logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/second_order_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/second_order_logic/n/,/c/en/formal_system/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formal_system",
        "@type": "Node",
        "label": "formal system",
        "language": "en",
        "term": "/c/en/formal_system"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/en/second_order_logic/n",
        "@type": "Node",
        "label": "second order logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/second_order_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/second_order_logic/n/,/c/en/relations/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/relations",
        "@type": "Node",
        "label": "relations",
        "language": "en",
        "term": "/c/en/relations"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/en/second_order_logic/n",
        "@type": "Node",
        "label": "second order logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/second_order_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/second_order_logic/n/,/c/en/member/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/member",
        "@type": "Node",
        "label": "member",
        "language": "en",
        "term": "/c/en/member"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/en/second_order_logic/n",
        "@type": "Node",
        "label": "second order logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/second_order_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/second_order_logic/n/,/c/en/universe/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/universe",
        "@type": "Node",
        "label": "universe",
        "language": "en",
        "term": "/c/en/universe"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/en/second_order_logic/n",
        "@type": "Node",
        "label": "second order logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/second_order_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    }
  ],
  "version": "5.8.1"
}