<http://dbpedia.org/resource/Category:Predicate_logic>	<http://dbpedia.org/ontology/wikiPageID>	"15522913"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Commons_category> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Mathematical_logic> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Classical_logic> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Fuzzy_logic> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Predicate_logic?oldid=936227505&ns=14> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://www.w3.org/2000/01/rdf-schema#label>	"Predicate logic"@en .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"936227505"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Systems_of_formal_logic> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Basic_concepts_in_set_theory> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://www.w3.org/2004/02/skos/core#broader>	<http://dbpedia.org/resource/Category:Propositional_calculus> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2004/02/skos/core#Concept> .
<http://dbpedia.org/resource/Category:Predicate_logic>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Predicate logic"@en .