{
  "@context": [
    "http://api.conceptnet.io/ld/conceptnet5.7/context.ld.json"
  ],
  "@id": "/c/en/logic",
  "edges": [
    {
      "@id": "/a/[/r/HasPrerequisite/,/c/en/computing_sum/,/c/en/logic/]",
      "@type": "Edge",
      "dataset": "/d/conceptnet/4/en",
      "end": {
        "@id": "/c/en/logic",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/HasPrerequisite",
        "@type": "Relation",
        "label": "HasPrerequisite"
      },
      "sources": [
        {
          "@id": "/and/[/s/activity/omcs/omcs1_possibly_free_text/,/s/contributor/omcs/joescmow/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/omcs1_possibly_free_text",
          "contributor": "/s/contributor/omcs/joescmow"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/bryan/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/bryan"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/ersi/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/ersi"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/jasongross/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/jasongross"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/polymatrix/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/polymatrix"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/sebleier/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/sebleier"
        }
      ],
      "start": {
        "@id": "/c/en/computing_sum",
        "@type": "Node",
        "label": "computing a sum",
        "language": "en",
        "term": "/c/en/computing_sum"
      },
      "surfaceText": "[[computing a sum]] requires [[logic]]",
      "weight": 4.47213595499958
    },
    {
      "@id": "/a/[/r/IsA/,/c/en/formal_logic/,/c/en/logic/]",
      "@type": "Edge",
      "dataset": "/d/conceptnet/4/en",
      "end": {
        "@id": "/c/en/logic",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "sources": [
        {
          "@id": "/and/[/s/activity/omcs/commons_manual_entry/,/s/contributor/omcs/jarble/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/commons_manual_entry",
          "contributor": "/s/contributor/omcs/jarble"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/bryan/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/bryan"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/ersi/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/ersi"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/jasongross/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/jasongross"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/polymatrix/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/polymatrix"
        }
      ],
      "start": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_logic"
      },
      "surfaceText": "[[formal logic]] is a type of [[logic]].",
      "weight": 4.0
    },
    {
      "@id": "/a/[/r/DefinedAs/,/c/en/logic/,/c/en/set_of_rules_by_which_axioms_can_manipulated_to_derive_true_statements/]",
      "@type": "Edge",
      "dataset": "/d/conceptnet/4/en",
      "end": {
        "@id": "/c/en/set_of_rules_by_which_axioms_can_manipulated_to_derive_true_statements",
        "@type": "Node",
        "label": "set of rules by which axioms can be manipulated to derive true statements",
        "language": "en",
        "term": "/c/en/set_of_rules_by_which_axioms_can_manipulated_to_derive_true_statements"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/DefinedAs",
        "@type": "Relation",
        "label": "DefinedAs"
      },
      "sources": [
        {
          "@id": "/and/[/s/activity/omcs/commons_manual_entry/,/s/contributor/omcs/jasongross/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/commons_manual_entry",
          "contributor": "/s/contributor/omcs/jasongross"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/bryan/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/bryan"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/desalvionjr/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/desalvionjr"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/ersi/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/ersi"
        }
      ],
      "start": {
        "@id": "/c/en/logic",
        "@type": "Node",
        "label": "Logic",
        "language": "en",
        "term": "/c/en/logic"
      },
      "surfaceText": "[[Logic]] is the [[set of rules by which axioms can be manipulated to derive true statements]].",
      "weight": 3.4641016151377544
    },
    {
      "@id": "/a/[/r/Synonym/,/c/pt/lógica/n/wn/cognition/,/c/en/logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/cognition",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/pt/lógica/n/wn/cognition",
        "@type": "Node",
        "label": "Lógica",
        "language": "pt",
        "sense_label": "n, cognition",
        "term": "/c/pt/lógica"
      },
      "surfaceText": "[[Lógica]] is a translation of [[logic]]",
      "weight": 3.4641016151377544
    },
    {
      "@id": "/a/[/r/IsA/,/c/en/logic/,/c/en/way_of_thinking/]",
      "@type": "Edge",
      "dataset": "/d/conceptnet/4/en",
      "end": {
        "@id": "/c/en/way_of_thinking",
        "@type": "Node",
        "label": "way of thinking",
        "language": "en",
        "term": "/c/en/way_of_thinking"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "sources": [
        {
          "@id": "/and/[/s/activity/omcs/commons_manual_entry/,/s/contributor/omcs/polymatrix/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/commons_manual_entry",
          "contributor": "/s/contributor/omcs/polymatrix"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/bryan/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/bryan"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/ersi/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/ersi"
        }
      ],
      "start": {
        "@id": "/c/en/logic",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "term": "/c/en/logic"
      },
      "surfaceText": "[[logic]] is a kind of [[way of thinking]].",
      "weight": 2.82842712474619
    },
    {
      "@id": "/a/[/r/DefinedAs/,/c/en/logic/,/c/en/bane_of_irrational_people/]",
      "@type": "Edge",
      "dataset": "/d/conceptnet/4/en",
      "end": {
        "@id": "/c/en/bane_of_irrational_people",
        "@type": "Node",
        "label": "bane of irrational people",
        "language": "en",
        "term": "/c/en/bane_of_irrational_people"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/DefinedAs",
        "@type": "Relation",
        "label": "DefinedAs"
      },
      "sources": [
        {
          "@id": "/and/[/s/activity/omcs/omcs1_possibly_free_text/,/s/contributor/omcs/dev/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/omcs1_possibly_free_text",
          "contributor": "/s/contributor/omcs/dev"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/bryan/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/bryan"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/polymatrix/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/polymatrix"
        }
      ],
      "start": {
        "@id": "/c/en/logic",
        "@type": "Node",
        "label": "Logic",
        "language": "en",
        "term": "/c/en/logic"
      },
      "surfaceText": "[[Logic]] is the [[bane of irrational people]]",
      "weight": 2.82842712474619
    },
    {
      "@id": "/a/[/r/IsA/,/c/en/logic/,/c/en/system_of_evaluating_arguments/]",
      "@type": "Edge",
      "dataset": "/d/conceptnet/4/en",
      "end": {
        "@id": "/c/en/system_of_evaluating_arguments",
        "@type": "Node",
        "label": "a system of evaluating arguments",
        "language": "en",
        "term": "/c/en/system_of_evaluating_arguments"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "sources": [
        {
          "@id": "/and/[/s/activity/omcs/omcs1_possibly_free_text/,/s/contributor/omcs/pooua/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/omcs1_possibly_free_text",
          "contributor": "/s/contributor/omcs/pooua"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/bryan/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/bryan"
        },
        {
          "@id": "/and/[/s/activity/omcs/vote/,/s/contributor/omcs/polymatrix/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/vote",
          "contributor": "/s/contributor/omcs/polymatrix"
        }
      ],
      "start": {
        "@id": "/c/en/logic",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "term": "/c/en/logic"
      },
      "surfaceText": "[[logic]] is [[a system of evaluating arguments]]",
      "weight": 2.82842712474619
    },
    {
      "@id": "/a/[/r/Synonym/,/c/ms/ilmu_mantik/n/wn/cognition/,/c/en/logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/cognition",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/ms/ilmu_mantik/n/wn/cognition",
        "@type": "Node",
        "label": "ilmu mantik",
        "language": "ms",
        "sense_label": "n, cognition",
        "term": "/c/ms/ilmu_mantik"
      },
      "surfaceText": "[[ilmu mantik]] is a translation of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/da/logik/n/wn/cognition/,/c/en/logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/cognition",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/da/logik/n/wn/cognition",
        "@type": "Node",
        "label": "logik",
        "language": "da",
        "sense_label": "n, cognition",
        "term": "/c/da/logik"
      },
      "surfaceText": "[[logik]] is a translation of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/HasContext/,/c/en/postulation/n/wn/logic/,/c/en/logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/cognition",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/HasContext",
        "@type": "Relation",
        "label": "HasContext"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/en/postulation/n/wn/logic",
        "@type": "Node",
        "label": "postulation",
        "language": "en",
        "sense_label": "n, logic",
        "term": "/c/en/postulation"
      },
      "surfaceText": "[[postulation]] is used in the context of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/no/logikk/n/wn/cognition/,/c/en/logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/cognition",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/no/logikk/n/wn/cognition",
        "@type": "Node",
        "label": "logikk",
        "language": "no",
        "sense_label": "n, cognition",
        "term": "/c/no/logikk"
      },
      "surfaceText": "[[logikk]] is a translation of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/ms/lojik/n/wn/cognition/,/c/en/logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/cognition",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/ms/lojik/n/wn/cognition",
        "@type": "Node",
        "label": "lojik",
        "language": "ms",
        "sense_label": "n, cognition",
        "term": "/c/ms/lojik"
      },
      "surfaceText": "[[lojik]] is a translation of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/fi/loogisuus/n/wn/cognition/,/c/en/logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/cognition",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/fi/loogisuus/n/wn/cognition",
        "@type": "Node",
        "label": "loogisuus",
        "language": "fi",
        "sense_label": "n, cognition",
        "term": "/c/fi/loogisuus"
      },
      "surfaceText": "[[loogisuus]] is a translation of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/th/ตรรกะ/n/wn/computer_science/,/c/en/logic/n/wn/computer_science/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/computer_science",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, computer_science",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/th/ตรรกะ/n/wn/computer_science",
        "@type": "Node",
        "label": "ตรรกะ",
        "language": "th",
        "sense_label": "n, computer_science",
        "term": "/c/th/ตรรกะ"
      },
      "surfaceText": "[[ตรรกะ]] is a translation of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/ja/論法/n/,/c/en/logic/]",
      "@type": "Edge",
      "dataset": "/d/jmdict",
      "end": {
        "@id": "/c/en/logic",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "term": "/c/en/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/HasContext/,/c/en/argument_form/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/argument_form/n",
        "@type": "Node",
        "label": "argument form",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/argument_form"
      },
      "surfaceText": null,
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/fr/logique/n/wn/cognition/,/c/en/logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/cognition",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/Synonym",
        "@type": "Relation",
        "label": "Synonym"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/fr/logique/n/wn/cognition",
        "@type": "Node",
        "label": "logique",
        "language": "fr",
        "sense_label": "n, cognition",
        "term": "/c/fr/logique"
      },
      "surfaceText": "[[logique]] is a translation of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/HasContext/,/c/en/reflexivity/n/wn/logic/,/c/en/logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/cognition",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/HasContext",
        "@type": "Relation",
        "label": "HasContext"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/en/reflexivity/n/wn/logic",
        "@type": "Node",
        "label": "reflexivity",
        "language": "en",
        "sense_label": "n, logic",
        "term": "/c/en/reflexivity"
      },
      "surfaceText": "[[reflexivity]] is used in the context of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/HasContext/,/c/en/proof/n/wn/mathematics/,/c/en/logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/logic/n/wn/cognition",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/logic"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/HasContext",
        "@type": "Relation",
        "label": "HasContext"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/en/proof/n/wn/mathematics",
        "@type": "Node",
        "label": "proof",
        "language": "en",
        "sense_label": "n, mathematics",
        "term": "/c/en/proof"
      },
      "surfaceText": "[[proof]] is used in the context of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/ja/節理/,/c/en/logic/]",
      "@type": "Edge",
      "dataset": "/d/jmdict",
      "end": {
        "@id": "/c/en/logic",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "term": "/c/en/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/節理",
        "@type": "Node",
        "label": "節理",
        "language": "ja",
        "term": "/c/ja/節理"
      },
      "surfaceText": null,
      "weight": 2.0
    }
  ],
  "view": {
    "@id": "/c/en/logic?offset=0&limit=20",
    "@type": "PartialCollectionView",
    "comment": "There are more results. Follow the 'nextPage' link for more.",
    "firstPage": "/c/en/logic?offset=0&limit=20",
    "nextPage": "/c/en/logic?offset=20&limit=20",
    "paginatedProperty": "edges"
  }
}