@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .

owl:Nothing
	rdf:type	owl:Class ;
	rdfs:label	"Nothing" ;
	owl:complementOf	owl:Thing .
_:b10000
	rdf:first	owl:Nothing .
_:b10001
	owl:complementOf	owl:Nothing .