@prefix dbpprop:	<http://dbpedia.org/property/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Gabbay-makinson_rules	dbpprop:redirect	dbpedia:Rational_consequence_relation .
dbpedia:Gabbay-makinson_conditions	dbpprop:redirect	dbpedia:Rational_consequence_relation .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Rational_consequence_relation	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000004849ad1> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns4:	<http://en.wikipedia.org/wiki/> .
dbpedia:Rational_consequence_relation	foaf:page	ns4:Rational_consequence_relation ;
	dbpprop:reference	<http://www.maths.manchester.ac.uk/~jeff/theses/lee-hill.ps> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Rational_consequence_relation	rdfs:label	"Rational consequence relation"@en ;
	dbpprop:abstract	"A rational consequence relation &lt;math&gt;\\vdash&lt;/math&gt; is a logical consequence relation satisfying the properties listed below."@en ;
	rdfs:comment	"A rational consequence relation &lt;math&gt;\\vdash&lt;/math&gt; is a logical consequence relation satisfying the properties listed below."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns7:	<http://dbpedia.org/resource/Category:> .
dbpedia:Rational_consequence_relation	skos:subject	ns7:Mathematical_logic .
@prefix ns8:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Rational_consequence_relation	dbpprop:hasPhotoCollection	ns8:Rational_consequence_relation .
dbpedia:Rational_consquence_relation	dbpprop:redirect	dbpedia:Rational_consequence_relation .