{
  "@context": [
    "http://api.conceptnet.io/ld/conceptnet5.7/context.ld.json"
  ],
  "@id": "/c/en/predicate_logic",
  "edges": [
    {
      "@id": "/a/[/r/Synonym/,/c/ja/述語論理/n/,/c/en/predicate_logic/]",
      "@type": "Edge",
      "dataset": "/d/jmdict",
      "end": {
        "@id": "/c/en/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_logic"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "sources": [
        {
          "@id": "/s/resource/jmdict/1.07",
          "@type": "Source",
          "contributor": "/s/resource/jmdict/1.07"
        }
      ],
      "start": {
        "@id": "/c/ja/述語論理/n",
        "@type": "Node",
        "label": "述語論理",
        "language": "ja",
        "sense_label": "n",
        "term": "/c/ja/述語論理"
      },
      "surfaceText": null,
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/FormOf/,/c/en/predicate_logics/n/,/c/en/predicate_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_logic"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/FormOf",
        "@type": "Relation",
        "label": "FormOf"
      },
      "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/predicate_logics/n",
        "@type": "Node",
        "label": "predicate logics",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_logics"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/DerivedFrom/,/c/en/predicate_logic/,/c/en/logic/n/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/logic/n",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/logic"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/DerivedFrom",
        "@type": "Relation",
        "label": "DerivedFrom"
      },
      "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/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/existential_instantiation/n/,/c/en/predicate_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_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/existential_instantiation/n",
        "@type": "Node",
        "label": "existential instantiation",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/existential_instantiation"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/en/predicate_logic/n/,/c/nl/predicatenlogica/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/nl/predicatenlogica",
        "@type": "Node",
        "label": "predicatenlogica",
        "language": "nl",
        "term": "/c/nl/predicatenlogica"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "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/predicate_logic/n",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/nl/predicatenlogica/n/,/c/en/predicate_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_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/nl/predicatenlogica/n",
        "@type": "Node",
        "label": "predicatenlogica",
        "language": "nl",
        "sense_label": "n",
        "term": "/c/nl/predicatenlogica"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/HasContext/,/c/en/predicate_logic/n/,/c/en/logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/logic",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "term": "/c/en/logic"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/HasContext",
        "@type": "Relation",
        "label": "HasContext"
      },
      "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/predicate_logic/n",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/ExternalURL/,/c/en/predicate_logic/,/http://umbel.org/umbel/sc/PredicateLogic/]",
      "@type": "Edge",
      "dataset": "/d/opencyc",
      "end": {
        "@id": "http://umbel.org/umbel/sc/PredicateLogic",
        "@type": "Node",
        "label": "PredicateLogic",
        "path": "/umbel/sc/PredicateLogic",
        "site": "umbel.org",
        "site_available": false,
        "term": "http://umbel.org/umbel/sc/PredicateLogic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/ExternalURL",
        "@type": "Relation",
        "label": "ExternalURL"
      },
      "sources": [
        {
          "@id": "/s/resource/opencyc/2012",
          "@type": "Source",
          "contributor": "/s/resource/opencyc/2012"
        }
      ],
      "start": {
        "@id": "/c/en/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/en/predicate_logic/n/,/c/fi/predikaattilogiikka/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/fi/predikaattilogiikka",
        "@type": "Node",
        "label": "predikaattilogiikka",
        "language": "fi",
        "term": "/c/fi/predikaattilogiikka"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "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/predicate_logic/n",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/predicate_logic/n/,/c/en/many_sorted_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/many_sorted_logic",
        "@type": "Node",
        "label": "many sorted logic",
        "language": "en",
        "term": "/c/en/many_sorted_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/predicate_logic/n",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/cs/predikátová_logika/n/,/c/en/predicate_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_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/cs/predikátová_logika/n",
        "@type": "Node",
        "label": "predikátová logika",
        "language": "cs",
        "sense_label": "n",
        "term": "/c/cs/predikátová_logika"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/predicate_logic/n/,/c/en/second_order_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/second_order_logic",
        "@type": "Node",
        "label": "second order logic",
        "language": "en",
        "term": "/c/en/second_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/predicate_logic/n",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/monadic_predicate_logic/n/,/c/en/predicate_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_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/monadic_predicate_logic/n",
        "@type": "Node",
        "label": "monadic predicate logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/monadic_predicate_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/predicate_calculus/n/,/c/en/predicate_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_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/predicate_calculus/n",
        "@type": "Node",
        "label": "predicate calculus",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_calculus"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/de/prädikatenlogik/n/,/c/en/predicate_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_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/de/prädikatenlogik/n",
        "@type": "Node",
        "label": "prädikatenlogik",
        "language": "de",
        "sense_label": "n",
        "term": "/c/de/prädikatenlogik"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/term_logic/n/,/c/en/predicate_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_logic",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "term": "/c/en/predicate_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/term_logic/n",
        "@type": "Node",
        "label": "term logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/term_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/IsA/,/c/en/second_order_logic/,/c/en/predicate_logic/n/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_logic/n",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_logic"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "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",
        "@type": "Node",
        "label": "second order logic",
        "language": "en",
        "term": "/c/en/second_order_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/predicate_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/predicate_logic/n",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/predicate_logic/n/,/c/en/predicate_calculus/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_calculus",
        "@type": "Node",
        "label": "predicate calculus",
        "language": "en",
        "term": "/c/en/predicate_calculus"
      },
      "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/predicate_logic/n",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/IsA/,/c/en/infinitary_logic/,/c/en/predicate_logic/n/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/predicate_logic/n",
        "@type": "Node",
        "label": "predicate logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/predicate_logic"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "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/infinitary_logic",
        "@type": "Node",
        "label": "infinitary logic",
        "language": "en",
        "term": "/c/en/infinitary_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    }
  ],
  "version": "5.8.1",
  "view": {
    "@id": "/c/en/predicate_logic?offset=0&limit=20",
    "@type": "PartialCollectionView",
    "comment": "There are more results. Follow the 'nextPage' link for more.",
    "firstPage": "/c/en/predicate_logic?offset=0&limit=20",
    "nextPage": "/c/en/predicate_logic?offset=20&limit=20",
    "paginatedProperty": "edges"
  }
}