@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Type_system	dbo:wikiPageWikiLink	dbr:Typability .
dbr:Intersection_type_discipline	dbo:wikiPageWikiLink	dbr:Typability .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Typability	owl:sameAs	dbr:Typability .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Typability	dbo:wikiPageWikiLink	dbc:Type_theory ,
		dbr:Type_inference ;
	dbo:wikiPageRedirects	dbr:Type_inference .