{
"@context": [
"http://api.conceptnet.io/ld/conceptnet5.7/context.ld.json"
],
"@id": "/c/en/subformula",
"edges": [
{
"@id": "/a/[/r/PartOf/,/c/en/subformula/n/,/c/en/formula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/formula",
"@type": "Node",
"label": "formula",
"language": "en",
"term": "/c/en/formula"
},
"license": "cc:by-sa/4.0",
"rel": {
"@id": "/r/PartOf",
"@type": "Relation",
"label": "PartOf"
},
"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/subformula/n",
"@type": "Node",
"label": "subformula",
"language": "en",
"sense_label": "n",
"term": "/c/en/subformula"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/en/axiom_scheme/n/,/c/en/subformula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/subformula",
"@type": "Node",
"label": "subformula",
"language": "en",
"term": "/c/en/subformula"
},
"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/axiom_scheme/n",
"@type": "Node",
"label": "axiom scheme",
"language": "en",
"sense_label": "n",
"term": "/c/en/axiom_scheme"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/Synonym/,/c/en/subformula/n/,/c/cs/podformule/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/cs/podformule",
"@type": "Node",
"label": "podformule",
"language": "cs",
"term": "/c/cs/podformule"
},
"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/subformula/n",
"@type": "Node",
"label": "subformula",
"language": "en",
"sense_label": "n",
"term": "/c/en/subformula"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/cs/podformule/n/,/c/en/subformula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/subformula",
"@type": "Node",
"label": "subformula",
"language": "en",
"term": "/c/en/subformula"
},
"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/podformule/n",
"@type": "Node",
"label": "podformule",
"language": "cs",
"sense_label": "n",
"term": "/c/cs/podformule"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/HasContext/,/c/en/subformula/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/subformula/n",
"@type": "Node",
"label": "subformula",
"language": "en",
"sense_label": "n",
"term": "/c/en/subformula"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/en/axiom_schema/n/,/c/en/subformula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/subformula",
"@type": "Node",
"label": "subformula",
"language": "en",
"term": "/c/en/subformula"
},
"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/axiom_schema/n",
"@type": "Node",
"label": "axiom schema",
"language": "en",
"sense_label": "n",
"term": "/c/en/axiom_schema"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/DerivedFrom/,/c/en/subformula/,/c/en/formula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/formula",
"@type": "Node",
"label": "formula",
"language": "en",
"term": "/c/en/formula"
},
"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/subformula",
"@type": "Node",
"label": "subformula",
"language": "en",
"term": "/c/en/subformula"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/FormOf/,/c/en/subformulas/n/,/c/en/subformula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/subformula",
"@type": "Node",
"label": "subformula",
"language": "en",
"term": "/c/en/subformula"
},
"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/subformulas/n",
"@type": "Node",
"label": "subformulas",
"language": "en",
"sense_label": "n",
"term": "/c/en/subformulas"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/en/schema/n/,/c/en/subformula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/subformula",
"@type": "Node",
"label": "subformula",
"language": "en",
"term": "/c/en/subformula"
},
"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/schema/n",
"@type": "Node",
"label": "schema",
"language": "en",
"sense_label": "n",
"term": "/c/en/schema"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/FormOf/,/c/en/subformulae/n/,/c/en/subformula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/subformula",
"@type": "Node",
"label": "subformula",
"language": "en",
"term": "/c/en/subformula"
},
"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/subformulae/n",
"@type": "Node",
"label": "subformulae",
"language": "en",
"sense_label": "n",
"term": "/c/en/subformulae"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/en/subformula/n/,/c/en/formula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/formula",
"@type": "Node",
"label": "formula",
"language": "en",
"term": "/c/en/formula"
},
"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/subformula/n",
"@type": "Node",
"label": "subformula",
"language": "en",
"sense_label": "n",
"term": "/c/en/subformula"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/ExternalURL/,/c/en/subformula/,/http://en.wiktionary.org/wiki/subformula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "http://en.wiktionary.org/wiki/subformula",
"@type": "Node",
"label": "subformula",
"path": "/wiki/subformula",
"site": "en.wiktionary.org",
"site_available": true,
"term": "http://en.wiktionary.org/wiki/subformula"
},
"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/subformula",
"@type": "Node",
"label": "subformula",
"language": "en",
"term": "/c/en/subformula"
},
"surfaceText": null,
"weight": 0.25
}
],
"version": "5.8.1"
}