{
  "http://dbpedia.org/resource/First-order_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Definitional_extension" } ] } ,
  "http://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Definitional_extension" } ] } ,
  "http://dbpedia.org/resource/Disjunction_and_existence_properties" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Definitional_extension" } ] } ,
  "http://dbpedia.org/resource/Definitional_extension" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Definitional_extension" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Extension_by_definitions" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Extension_by_definitions" } ] }
}