{"@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"}