{
"@context": [
"http://api.conceptnet.io/ld/conceptnet5.7/context.ld.json"
],
"@id": "/c/en/inference_rule/n",
"edges": [
{
"@id": "/a/[/r/PartOf/,/c/en/inference_rule/n/,/c/en/formal_system/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/formal_system",
"@type": "Node",
"label": "formal system",
"language": "en",
"term": "/c/en/formal_system"
},
"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/inference_rule/n",
"@type": "Node",
"label": "inference rule",
"language": "en",
"sense_label": "n",
"term": "/c/en/inference_rule"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/en/inference_rule/n/,/c/en/formal_language/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/formal_language",
"@type": "Node",
"label": "formal language",
"language": "en",
"term": "/c/en/formal_language"
},
"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/inference_rule/n",
"@type": "Node",
"label": "inference rule",
"language": "en",
"sense_label": "n",
"term": "/c/en/inference_rule"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/HasContext/,/c/en/inference_rule/n/,/c/en/proof_theory/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/proof_theory",
"@type": "Node",
"label": "proof theory",
"language": "en",
"term": "/c/en/proof_theory"
},
"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/inference_rule/n",
"@type": "Node",
"label": "inference rule",
"language": "en",
"sense_label": "n",
"term": "/c/en/inference_rule"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/en/inference_rule/n/,/c/en/truth/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/truth",
"@type": "Node",
"label": "truth",
"language": "en",
"term": "/c/en/truth"
},
"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/inference_rule/n",
"@type": "Node",
"label": "inference rule",
"language": "en",
"sense_label": "n",
"term": "/c/en/inference_rule"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/HasContext/,/c/en/inference_rule/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/inference_rule/n",
"@type": "Node",
"label": "inference rule",
"language": "en",
"sense_label": "n",
"term": "/c/en/inference_rule"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/IsA/,/c/en/modus_tollens/,/c/en/inference_rule/n/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/inference_rule/n",
"@type": "Node",
"label": "inference rule",
"language": "en",
"sense_label": "n",
"term": "/c/en/inference_rule"
},
"license": "cc:by-sa/4.0",
"rel": {
"@id": "/r/IsA",
"@type": "Relation",
"label": "IsA"
},
"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/modus_tollens",
"@type": "Node",
"label": "modus tollens",
"language": "en",
"term": "/c/en/modus_tollens"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/en/inference_rule/n/,/c/en/preserving/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/preserving",
"@type": "Node",
"label": "preserving",
"language": "en",
"term": "/c/en/preserving"
},
"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/inference_rule/n",
"@type": "Node",
"label": "inference rule",
"language": "en",
"sense_label": "n",
"term": "/c/en/inference_rule"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/IsA/,/c/en/existential_instantiation/,/c/en/inference_rule/n/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/inference_rule/n",
"@type": "Node",
"label": "inference rule",
"language": "en",
"sense_label": "n",
"term": "/c/en/inference_rule"
},
"license": "cc:by-sa/4.0",
"rel": {
"@id": "/r/IsA",
"@type": "Relation",
"label": "IsA"
},
"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/existential_instantiation",
"@type": "Node",
"label": "existential instantiation",
"language": "en",
"term": "/c/en/existential_instantiation"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/RelatedTo/,/c/en/inference_rule/n/,/c/en/well_formed_formula/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/well_formed_formula",
"@type": "Node",
"label": "well formed formula",
"language": "en",
"term": "/c/en/well_formed_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/inference_rule/n",
"@type": "Node",
"label": "inference rule",
"language": "en",
"sense_label": "n",
"term": "/c/en/inference_rule"
},
"surfaceText": null,
"weight": 1.0
},
{
"@id": "/a/[/r/IsA/,/c/en/modus_ponens/,/c/en/inference_rule/n/]",
"@type": "Edge",
"dataset": "/d/wiktionary/en",
"end": {
"@id": "/c/en/inference_rule/n",
"@type": "Node",
"label": "inference rule",
"language": "en",
"sense_label": "n",
"term": "/c/en/inference_rule"
},
"license": "cc:by-sa/4.0",
"rel": {
"@id": "/r/IsA",
"@type": "Relation",
"label": "IsA"
},
"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/modus_ponens",
"@type": "Node",
"label": "modus ponens",
"language": "en",
"term": "/c/en/modus_ponens"
},
"surfaceText": null,
"weight": 1.0
}
],
"version": "5.8.1"
}