{
  "@context": [
    "http://api.conceptnet.io/ld/conceptnet5.7/context.ld.json"
  ],
  "@id": "/c/en/formal_logic",
  "edges": [
    {
      "@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/Synonym/,/c/ja/形式論理学/n/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/jmdict",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/Synonym/,/c/ja/形式論理/n/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/jmdict",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/Synonym/,/c/en/formal_logic/n/wn/cognition/,/c/en/symbolic_logic/n/wn/cognition/]",
      "@type": "Edge",
      "dataset": "/d/wordnet/3.1",
      "end": {
        "@id": "/c/en/symbolic_logic/n/wn/cognition",
        "@type": "Node",
        "label": "symbolic logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/symbolic_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/en/formal_logic/n/wn/cognition",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/formal_logic"
      },
      "surfaceText": "[[formal logic]] is a synonym of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/informal_fallacy/n/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/informal_fallacy/n",
        "@type": "Node",
        "label": "informal fallacy",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/informal_fallacy"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/HasContext/,/c/en/formal_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/formal_logic/n",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/formal_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/formal_logic/n/,/c/en/logical_calculus/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/logical_calculus",
        "@type": "Node",
        "label": "logical calculus",
        "language": "en",
        "term": "/c/en/logical_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/formal_logic/n",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/formal_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/DerivedFrom/,/c/en/formal_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/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/iff/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/iff",
        "@type": "Node",
        "label": "iff",
        "language": "en",
        "term": "/c/en/iff"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/logic_programming/n/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/logic_programming/n",
        "@type": "Node",
        "label": "logic programming",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/logic_programming"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/formal_logics/n/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/fr",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/fr/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/fr",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/en/formal_logics/n",
        "@type": "Node",
        "label": "formal logics",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/formal_logics"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/mul/℩/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/mul/℩",
        "@type": "Node",
        "label": "℩",
        "language": "mul",
        "term": "/c/mul/℩"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/UsedFor/,/c/en/formal_logic/,/c/en/prove_theorems/]",
      "@type": "Edge",
      "dataset": "/d/conceptnet/4/en",
      "end": {
        "@id": "/c/en/prove_theorems",
        "@type": "Node",
        "label": "prove theorems",
        "language": "en",
        "term": "/c/en/prove_theorems"
      },
      "license": "cc:by/4.0",
      "rel": {
        "@id": "/r/UsedFor",
        "@type": "Relation",
        "label": "UsedFor"
      },
      "sources": [
        {
          "@id": "/and/[/s/activity/omcs/omcs1_possibly_free_text/,/s/contributor/omcs/pavlos/]",
          "@type": "Source",
          "activity": "/s/activity/omcs/omcs1_possibly_free_text",
          "contributor": "/s/contributor/omcs/pavlos"
        }
      ],
      "start": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_logic"
      },
      "surfaceText": "You can use [[formal logic]] to [[prove theorems]]",
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/formal_logic/n/,/c/en/mathematical_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/mathematical_logic",
        "@type": "Node",
        "label": "mathematical logic",
        "language": "en",
        "term": "/c/en/mathematical_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/formal_logic/n",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/formal_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/mathematical_logic/n/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/mathematical_logic/n",
        "@type": "Node",
        "label": "mathematical logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/mathematical_logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/en/montague_grammar/n/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/montague_grammar/n",
        "@type": "Node",
        "label": "montague grammar",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/montague_grammar"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/en/logic/n/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_logic"
      },
      "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/logic/n",
        "@type": "Node",
        "label": "logic",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/logic"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/zh/形式邏輯/n/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/zh/形式邏輯/n",
        "@type": "Node",
        "label": "形式邏輯",
        "language": "zh",
        "sense_label": "n",
        "term": "/c/zh/形式邏輯"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/FormOf/,/c/en/formal_logics/n/,/c/en/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_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/formal_logics/n",
        "@type": "Node",
        "label": "formal logics",
        "language": "en",
        "sense_label": "n",
        "term": "/c/en/formal_logics"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/ExternalURL/,/c/en/formal_logic/,/http://en.wiktionary.org/wiki/formal_logic/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "http://en.wiktionary.org/wiki/formal_logic",
        "@type": "Node",
        "label": "formal_logic",
        "site": "en.wiktionary.org",
        "site_available": true,
        "term": "http://en.wiktionary.org/wiki/formal_logic"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/ExternalURL",
        "@type": "Relation",
        "label": "ExternalURL"
      },
      "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/formal_logic",
        "@type": "Node",
        "label": "formal logic",
        "language": "en",
        "term": "/c/en/formal_logic"
      },
      "surfaceText": null,
      "weight": 0.25
    }
  ]
}