@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
<http://en.wikipedia.org/wiki/FO(.)>	foaf:primaryTopic	<http://dbpedia.org/resource/FO(.)> .
@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:First-order_logic	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/FO(.)> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
<http://dbpedia.org/resource/FO(.)>	owl:sameAs	<http://dbpedia.org/resource/FO(.)> .
@prefix dbpedia-global:	<https://global.dbpedia.org/id/> .
<http://dbpedia.org/resource/FO(.)>	owl:sameAs	dbpedia-global:GDfaX .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
<http://dbpedia.org/resource/FO(.)>	owl:sameAs	wikidata:Q110921241 .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
<http://dbpedia.org/resource/FO(.)>	rdfs:label	"FO(.)"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
<http://dbpedia.org/resource/FO(.)>	dct:subject	dbc:Knowledge_representation_languages ;
	foaf:homepage	<http://docs.idp-z3.be/en/latest/FO-dot.html> .
@prefix prov:	<http://www.w3.org/ns/prov#> .
<http://dbpedia.org/resource/FO(.)>	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/FO(.)?oldid=1229891037&ns=0> ;
	dbo:wikiPageWikiLink	dbr:First-order_logic ,
		dbr:Knowledge_representation_and_reasoning ,
		dbr:Satisfiability ,
		dbr:Negation ,
		dbr:Axiom ,
		<http://dbpedia.org/resource/Function_(mathematics)> ,
		dbc:Knowledge_representation_languages ,
		dbr:Material_conditional ,
		dbr:Integer ,
		dbr:Type_theory ,
		dbr:Entailment ,
		dbr:Model_theory ,
		dbr:Boolean ,
		dbr:Computer_science ;
	dbo:wikiPageExternalLink	<https://docs.idp-z3.be/en/latest/FO-dot.html> ;
	dbo:description	"knowledge representation computer programming language"@en .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
<http://dbpedia.org/resource/FO(.)>	dbp:wikiPageUsesTemplate	dbt:Multiple_issues ,
		dbt:Short_description ,
		dbt:Notability ,
		dbt:COI ,
		dbt:Automated_reasoning ,
		dbt:External_links ,
		dbt:Official_website ,
		dbt:Reflist ;
	foaf:isPrimaryTopicOf	<http://en.wikipedia.org/wiki/FO(.)> .
dbr:Knowledge_representation_and_reasoning	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/FO(.)> .
dbr:FO-dot	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/FO(.)> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/FO(.)> .