@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:First-order_logic	dbo:wikiPageWikiLink	dbr:Definitional_extension .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Definitional_extension	owl:sameAs	dbr:Definitional_extension ;
	dbo:wikiPageWikiLink	dbr:Extension_by_definitions ;
	dbo:wikiPageRedirects	dbr:Extension_by_definitions .
dbr:Disjunction_and_existence_properties	dbo:wikiPageWikiLink	dbr:Definitional_extension .
<http://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory>	dbo:wikiPageWikiLink	dbr:Definitional_extension .