@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
owl:Thing	rdf:type	owl:Class .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
owl:Thing	rdfs:label	"Thing" ;
	owl:unionOf	_:vb10000 .
owl:Nothing	owl:complementOf	owl:Thing .
owl:differentFrom	rdfs:domain	owl:Thing ;
	rdfs:range	owl:Thing .
owl:sameAs	rdfs:domain	owl:Thing ;
	rdfs:range	owl:Thing .