@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	_:b10786 ,
		_:b10789 ,
		_:b10472 ,
		_:b10475 ,
		_:b10825 ,
		_:b10816 ,
		_:b10463 .
_:b10463	rdf:first	owl:Nothing ;
	rdf:rest	_:b10465 .
_:b10464	rdf:type	owl:Class ;
	owl:complementOf	owl:Nothing .
_:b10465	rdf:first	_:b10464 ;
	rdf:rest	rdf:nil .
_:b10472	rdf:first	owl:Nothing ;
	rdf:rest	_:b10474 .
_:b10473	rdf:type	owl:Class ;
	owl:complementOf	owl:Nothing .
_:b10474	rdf:first	_:b10473 ;
	rdf:rest	rdf:nil .
_:b10475	rdf:first	owl:Nothing ;
	rdf:rest	_:b10477 .
_:b10476	rdf:type	owl:Class ;
	owl:complementOf	owl:Nothing .
_:b10477	rdf:first	_:b10476 ;
	rdf:rest	rdf:nil .
_:b10786	rdf:first	owl:Nothing ;
	rdf:rest	_:b10787 .
_:b10787	rdf:first	_:b10788 ;
	rdf:rest	rdf:nil .
_:b10788	owl:complementOf	owl:Nothing .
_:b10789	rdf:first	owl:Nothing ;
	rdf:rest	_:b10790 .
_:b10790	rdf:first	_:b10791 ;
	rdf:rest	rdf:nil .
_:b10791	owl:complementOf	owl:Nothing .
_:b10816	rdf:first	owl:Nothing ;
	rdf:rest	_:b10818 .
_:b10817	rdf:type	owl:Class ;
	owl:complementOf	owl:Nothing .
_:b10818	rdf:first	_:b10817 ;
	rdf:rest	rdf:nil .
_:b10825	rdf:first	owl:Nothing ;
	rdf:rest	_:b10827 .
_:b10826	rdf:type	owl:Class ;
	owl:complementOf	owl:Nothing .
_:b10827	rdf:first	_:b10826 ;
	rdf:rest	rdf:nil .