<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Zambia> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Parallel_computing> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/nationality>	<http://caligraph.org/resource/British_nationality_law> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/birthDate>	"1961-10-28" .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Ndola> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Zambian_people_of_English_descent> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1961_birth> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Australian_computer_scientists> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/James_Cook_University> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Zambian_person_of_English_descent> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/2000/01/rdf-schema#label>	"Geoff Sutcliffe" .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Edith_Cowan_University> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Automated_theorem_proving> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Natal> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Australian_expatriate_in_the_United_States> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Zambian_emigrant_to_South_Africa> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:British_computer_scientists> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Australian_computer_scientist> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Distributed_computing> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Artificial_intelligence> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Thousands_of_Problems_for_Theorem_Provers> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Durban-Westville> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/birthYear>	"1961" .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Geoff Sutcliffe" .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Logic_programming_researchers> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/CADE_ATP_System_Competition> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/nationality>	<http://caligraph.org/resource/Australians> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Zambian_emigrant_to_Australia> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Natal> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Geoff_Sutcliffe> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Western_Australia> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/British_computer_scientist> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Zambian_emigrants_to_Australia> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Logic_programming_researcher> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_science> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Zambian_emigrants_to_South_Africa> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1961_births> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Logic_programming> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Australian_expatriates_in_the_United_States> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/nationality>	<http://caligraph.org/resource/Australian_nationality_law> .
<http://caligraph.org/resource/Geoff_Sutcliffe>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Miami> .