{
  "@context": [
    "http://api.conceptnet.io/ld/conceptnet5.7/context.ld.json"
  ],
  "@id": "/c/en/symbolic_logic",
  "edges": [
    {
      "@id": "/a/[/r/IsA/,/c/en/predicate_calculus/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/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/en/predicate_calculus/n/wn/cognition",
        "@type": "Node",
        "label": "predicate calculus",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/predicate_calculus"
      },
      "surfaceText": "[[predicate calculus]] is a type of [[symbolic logic]]",
      "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/Synonym/,/c/en/mathematical_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/mathematical_logic/n/wn/cognition",
        "@type": "Node",
        "label": "mathematical logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/mathematical_logic"
      },
      "surfaceText": "[[mathematical logic]] is a synonym of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/fa/منطق_مجرد/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/fa/منطق_مجرد/n/wn/cognition",
        "@type": "Node",
        "label": "منطق مجرد",
        "language": "fa",
        "sense_label": "n, cognition",
        "term": "/c/fa/منطق_مجرد"
      },
      "surfaceText": "[[منطق مجرد]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/fi/formaalinen_logiikka/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/fi/formaalinen_logiikka/n/wn/cognition",
        "@type": "Node",
        "label": "formaalinen logiikka",
        "language": "fi",
        "sense_label": "n, cognition",
        "term": "/c/fi/formaalinen_logiikka"
      },
      "surfaceText": "[[formaalinen logiikka]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/IsA/,/c/en/modal_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/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/en/modal_logic/n/wn/cognition",
        "@type": "Node",
        "label": "modal logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/modal_logic"
      },
      "surfaceText": "[[modal logic]] is a type of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/ja/数学的論理学/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/ja/数学的論理学/n/wn/cognition",
        "@type": "Node",
        "label": "数学的論理学",
        "language": "ja",
        "sense_label": "n, cognition",
        "term": "/c/ja/数学的論理学"
      },
      "surfaceText": "[[数学的論理学]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/ja/記号論理学/a/,/c/en/symbolic_logic/]",
      "@type": "Edge",
      "dataset": "/d/jmdict",
      "end": {
        "@id": "/c/en/symbolic_logic",
        "@type": "Node",
        "label": "symbolic logic",
        "language": "en",
        "term": "/c/en/symbolic_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/記号論理学/a",
        "@type": "Node",
        "label": "記号論理学",
        "language": "ja",
        "sense_label": "a",
        "term": "/c/ja/記号論理学"
      },
      "surfaceText": null,
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/IsA/,/c/en/fuzzy_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/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/en/fuzzy_logic/n/wn/cognition",
        "@type": "Node",
        "label": "fuzzy logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/fuzzy_logic"
      },
      "surfaceText": "[[fuzzy logic]] is a type of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/IsA/,/c/en/symbolic_logic/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/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/en/symbolic_logic/n/wn/cognition",
        "@type": "Node",
        "label": "symbolic logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/symbolic_logic"
      },
      "surfaceText": "[[symbolic logic]] is a type of [[logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/th/คณิตตรรกศาสตร์/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/th/คณิตตรรกศาสตร์/n/wn/cognition",
        "@type": "Node",
        "label": "คณิตตรรกศาสตร์",
        "language": "th",
        "sense_label": "n, cognition",
        "term": "/c/th/คณิตตรรกศาสตร์"
      },
      "surfaceText": "[[คณิตตรรกศาสตร์]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/fi/symbolinen_logiikka/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/fi/symbolinen_logiikka/n/wn/cognition",
        "@type": "Node",
        "label": "symbolinen logiikka",
        "language": "fi",
        "sense_label": "n, cognition",
        "term": "/c/fi/symbolinen_logiikka"
      },
      "surfaceText": "[[symbolinen logiikka]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/ms/logika_matematika/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/ms/logika_matematika/n/wn/cognition",
        "@type": "Node",
        "label": "logika matematika",
        "language": "ms",
        "sense_label": "n, cognition",
        "term": "/c/ms/logika_matematika"
      },
      "surfaceText": "[[logika matematika]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/ja/形式論理/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/ja/形式論理/n/wn/cognition",
        "@type": "Node",
        "label": "形式論理",
        "language": "ja",
        "sense_label": "n, cognition",
        "term": "/c/ja/形式論理"
      },
      "surfaceText": "[[形式論理]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/IsA/,/c/en/boolean_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/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/en/boolean_logic/n/wn/cognition",
        "@type": "Node",
        "label": "Boolean logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/boolean_logic"
      },
      "surfaceText": "[[Boolean logic]] is a type of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/fr/logique_mathématique/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/fr/logique_mathématique/n/wn/cognition",
        "@type": "Node",
        "label": "logique mathématique",
        "language": "fr",
        "sense_label": "n, cognition",
        "term": "/c/fr/logique_mathématique"
      },
      "surfaceText": "[[logique mathématique]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/pt/lógica_matemática/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/pt/lógica_matemática/n/wn/cognition",
        "@type": "Node",
        "label": "Lógica matemática",
        "language": "pt",
        "sense_label": "n, cognition",
        "term": "/c/pt/lógica_matemática"
      },
      "surfaceText": "[[Lógica matemática]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/ms/logik_matematik/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/ms/logik_matematik/n/wn/cognition",
        "@type": "Node",
        "label": "logik matematik",
        "language": "ms",
        "sense_label": "n, cognition",
        "term": "/c/ms/logik_matematik"
      },
      "surfaceText": "[[logik matematik]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/Synonym/,/c/fa/منطق_ریاضی/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/fa/منطق_ریاضی/n/wn/cognition",
        "@type": "Node",
        "label": "منطق ریاضی",
        "language": "fa",
        "sense_label": "n, cognition",
        "term": "/c/fa/منطق_ریاضی"
      },
      "surfaceText": "[[منطق ریاضی]] is a translation of [[symbolic logic]]",
      "weight": 2.0
    },
    {
      "@id": "/a/[/r/IsA/,/c/en/propositional_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/IsA",
        "@type": "Relation",
        "label": "IsA"
      },
      "sources": [
        {
          "@id": "/s/resource/wordnet/rdf/3.1",
          "@type": "Source",
          "contributor": "/s/resource/wordnet/rdf/3.1"
        }
      ],
      "start": {
        "@id": "/c/en/propositional_logic/n/wn/cognition",
        "@type": "Node",
        "label": "propositional logic",
        "language": "en",
        "sense_label": "n, cognition",
        "term": "/c/en/propositional_logic"
      },
      "surfaceText": "[[propositional logic]] is a type of [[symbolic logic]]",
      "weight": 2.0
    }
  ],
  "view": {
    "@id": "/c/en/symbolic_logic?offset=0&limit=20",
    "@type": "PartialCollectionView",
    "comment": "There are more results. Follow the 'nextPage' link for more.",
    "firstPage": "/c/en/symbolic_logic?offset=0&limit=20",
    "nextPage": "/c/en/symbolic_logic?offset=20&limit=20",
    "paginatedProperty": "edges"
  }
}