{
"@context": [
"http://api.conceptnet.io/ld/conceptnet5.7/context.ld.json"
],
"@id": "/c/en/propositional_logic",
"edges": [
{
"@id": "/a/[/r/Synonym/,/c/pt/lógica_proposicional/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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_proposicional/n/wn/cognition",
"@type": "Node",
"label": "lógica proposicional",
"language": "pt",
"sense_label": "n, cognition",
"term": "/c/pt/lógica_proposicional"
},
"surfaceText": "[[lógica proposicional]] is a translation of [[propositional logic]]",
"weight": 2.0
},
{
"@id": "/a/[/r/Synonym/,/c/fr/calcul_des_propositions/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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/calcul_des_propositions/n/wn/cognition",
"@type": "Node",
"label": "calcul des propositions",
"language": "fr",
"sense_label": "n, cognition",
"term": "/c/fr/calcul_des_propositions"
},
"surfaceText": "[[calcul des propositions]] is a translation of [[propositional logic]]",
"weight": 2.0
},
{
"@id": "/a/[/r/Synonym/,/c/th/แคลคูลัสเชิงประพจน์/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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 [[propositional logic]]",
"weight": 2.0
},
{
"@id": "/a/[/r/Synonym/,/c/ja/命題論理学/n/,/c/en/propositional_logic/]",
"@type": "Edge",
"dataset": "/d/jmdict",
"end": {
"@id": "/c/en/propositional_logic",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"term": "/c/en/propositional_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/fi/lauselogiikka/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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/lauselogiikka/n/wn/cognition",
"@type": "Node",
"label": "lauselogiikka",
"language": "fi",
"sense_label": "n, cognition",
"term": "/c/fi/lauselogiikka"
},
"surfaceText": "[[lauselogiikka]] is a translation of [[propositional 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
},
{
"@id": "/a/[/r/Synonym/,/c/id/kalkulus_proposisional/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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/id/kalkulus_proposisional/n/wn/cognition",
"@type": "Node",
"label": "kalkulus proposisional",
"language": "id",
"sense_label": "n, cognition",
"term": "/c/id/kalkulus_proposisional"
},
"surfaceText": "[[kalkulus proposisional]] is a translation of [[propositional logic]]",
"weight": 2.0
},
{
"@id": "/a/[/r/Synonym/,/c/ja/命題論理/n/,/c/en/propositional_logic/]",
"@type": "Edge",
"dataset": "/d/jmdict",
"end": {
"@id": "/c/en/propositional_logic",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"term": "/c/en/propositional_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/propositional_calculus/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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/propositional_calculus/n/wn/cognition",
"@type": "Node",
"label": "propositional calculus",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_calculus"
},
"surfaceText": "[[propositional calculus]] is a synonym of [[propositional logic]]",
"weight": 2.0
},
{
"@id": "/a/[/r/Synonym/,/c/fi/propositiologiikka/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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/propositiologiikka/n/wn/cognition",
"@type": "Node",
"label": "propositiologiikka",
"language": "fi",
"sense_label": "n, cognition",
"term": "/c/fi/propositiologiikka"
},
"surfaceText": "[[propositiologiikka]] is a translation of [[propositional logic]]",
"weight": 2.0
},
{
"@id": "/a/[/r/Synonym/,/c/ja/命題論理/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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 [[propositional logic]]",
"weight": 2.0
},
{
"@id": "/a/[/r/Synonym/,/c/fr/calcul_propositionnel/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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/calcul_propositionnel/n/wn/cognition",
"@type": "Node",
"label": "calcul propositionnel",
"language": "fr",
"sense_label": "n, cognition",
"term": "/c/fr/calcul_propositionnel"
},
"surfaceText": "[[calcul propositionnel]] is a translation of [[propositional logic]]",
"weight": 2.0
},
{
"@id": "/a/[/r/Synonym/,/c/th/ตรรกศาสตร์เชิงประพจน์/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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 [[propositional logic]]",
"weight": 2.0
},
{
"@id": "/a/[/r/Synonym/,/c/pt/logica_proposicional/n/wn/cognition/,/c/en/propositional_logic/n/wn/cognition/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "/c/en/propositional_logic/n/wn/cognition",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n, cognition",
"term": "/c/en/propositional_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/logica_proposicional/n/wn/cognition",
"@type": "Node",
"label": "Logica proposicional",
"language": "pt",
"sense_label": "n, cognition",
"term": "/c/pt/logica_proposicional"
},
"surfaceText": "[[Logica proposicional]] is a translation of [[propositional logic]]",
"weight": 2.0
},
{
"@id": "/a/[/r/Synonym/,/c/en/propositional_logic/n/,/c/en/propositional_calculus/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/propositional_calculus",
"@type": "Node",
"label": "propositional calculus",
"language": "en",
"term": "/c/en/propositional_calculus"
},
"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/propositional_logic/n",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"sense_label": "n",
"term": "/c/en/propositional_logic"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/en/propositional_calculus/n/,/c/en/propositional_logic/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/propositional_logic",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"term": "/c/en/propositional_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/propositional_calculus/n",
"@type": "Node",
"label": "propositional calculus",
"language": "en",
"sense_label": "n",
"term": "/c/en/propositional_calculus"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/ExternalURL/,/c/en/propositional_logic/n/wn/cognition/,/http://wordnet-rdf.princeton.edu/wn31/106174863-n/]",
"@type": "Edge",
"dataset": "/d/wordnet/3.1",
"end": {
"@id": "http://wordnet-rdf.princeton.edu/wn31/106174863-n",
"@type": "Node",
"label": "106174863-n",
"path": "/wn31/106174863-n",
"site": "wordnet-rdf.princeton.edu",
"site_available": true,
"term": "http://wordnet-rdf.princeton.edu/wn31/106174863-n"
},
"license": "cc:by-sa/4.0",
"rel": {
"@id": "/r/ExternalURL",
"@type": "Relation",
"label": "ExternalURL"
},
"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": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/cs/výroková_logika/n/,/c/en/propositional_logic/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/propositional_logic",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"term": "/c/en/propositional_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/výroková_logika/n",
"@type": "Node",
"label": "výroková logika",
"language": "cs",
"sense_label": "n",
"term": "/c/cs/výroková_logika"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/DerivedFrom/,/c/en/propositional_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/propositional_logic",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"term": "/c/en/propositional_logic"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/HasContext/,/c/en/valuation/n/,/c/en/propositional_logic/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/propositional_logic",
"@type": "Node",
"label": "propositional logic",
"language": "en",
"term": "/c/en/propositional_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/valuation/n",
"@type": "Node",
"label": "valuation",
"language": "en",
"sense_label": "n",
"term": "/c/en/valuation"
},
"surfaceText": null,
"weight": 1.0
}
],
"version": "5.8.1",
"view": {
"@id": "/c/en/propositional_logic?offset=0&limit=20",
"@type": "PartialCollectionView",
"comment": "",
"firstPage": "/c/en/propositional_logic?offset=0&limit=20",
"nextPage": "/c/en/propositional_logic?offset=20&limit=20",
"paginatedProperty": "edges"
}
}