<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'http://groupprops.subwiki.org/wiki/Special:URIResolver/'>
	<!ENTITY property 'http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'http://groupprops.subwiki.org/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:property="&property;">
	<!-- Ontology header -->
	<owl:Ontology rdf:about="&wikiurl;Special:ExportRDF/%3ACategory%3AFacts">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2010-07-29T10:11:05-07:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<owl:Class rdf:about="&wiki;Category-3AFacts">
		<rdfs:label>Facts</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Facts"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Facts"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AFacts_related_to_linear_representation_theory">
		<rdfs:label>Facts related to linear representation theory</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Facts_related_to_linear_representation_theory"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Facts_related_to_linear_representation_theory"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AMetametaproperty_satisfactions">
		<rdfs:label>Metametaproperty satisfactions</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Metametaproperty_satisfactions"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Metametaproperty_satisfactions"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AProperty-2Dtheoretic_categories"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AMetametaproperty_dissatisfactions">
		<rdfs:label>Metametaproperty dissatisfactions</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Metametaproperty_dissatisfactions"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Metametaproperty_dissatisfactions"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AProperty-2Dtheoretic_categories"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AProperty_operator_computations">
		<rdfs:label>Property operator computations</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Property_operator_computations"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Property_operator_computations"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AProperty-2Dtheoretic_categories"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3ABasic_facts_in_group_theory">
		<rdfs:label>Basic facts in group theory</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Basic_facts_in_group_theory"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Basic_facts_in_group_theory"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AElementary_non-2Dbasic_facts_in_group_theory">
		<rdfs:label>Elementary non-basic facts in group theory</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Elementary_non-basic_facts_in_group_theory"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Elementary_non-basic_facts_in_group_theory"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AMetaproperty_dissatisfactions">
		<rdfs:label>Metaproperty dissatisfactions</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Metaproperty_dissatisfactions"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Metaproperty_dissatisfactions"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AMetaproperty_satisfactions">
		<rdfs:label>Metaproperty satisfactions</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Metaproperty_satisfactions"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Metaproperty_satisfactions"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AProofs_of_equivalence_of_definitions">
		<rdfs:label>Proofs of equivalence of definitions</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Proofs_of_equivalence_of_definitions"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Proofs_of_equivalence_of_definitions"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AProperty_implications">
		<rdfs:label>Property implications</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Property_implications"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Property_implications"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AProperty_non-2Dimplications">
		<rdfs:label>Property non-implications</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Property_non-implications"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Property_non-implications"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AProperty_satisfactions">
		<rdfs:label>Property satisfactions</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Property_satisfactions"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Property_satisfactions"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AResults_with_direct_proofs">
		<rdfs:label>Results with direct proofs</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Results_with_direct_proofs"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Results_with_direct_proofs"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AFacts_related_to_linear_representation_theory">
		<rdfs:label>Facts related to linear representation theory</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Facts_related_to_linear_representation_theory"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Facts_related_to_linear_representation_theory"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AMetametaproperty_satisfactions">
		<rdfs:label>Metametaproperty satisfactions</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Metametaproperty_satisfactions"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Metametaproperty_satisfactions"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AProperty-2Dtheoretic_categories"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AMetametaproperty_dissatisfactions">
		<rdfs:label>Metametaproperty dissatisfactions</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Metametaproperty_dissatisfactions"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Metametaproperty_dissatisfactions"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AProperty-2Dtheoretic_categories"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AProperty_operator_computations">
		<rdfs:label>Property operator computations</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Property_operator_computations"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Property_operator_computations"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AProperty-2Dtheoretic_categories"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AFacts_related_to_linear_representation_theory">
		<rdfs:label>Facts related to linear representation theory</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Facts_related_to_linear_representation_theory"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Facts_related_to_linear_representation_theory"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AMetametaproperty_satisfactions">
		<rdfs:label>Metametaproperty satisfactions</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Metametaproperty_satisfactions"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Metametaproperty_satisfactions"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AProperty-2Dtheoretic_categories"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AMetametaproperty_dissatisfactions">
		<rdfs:label>Metametaproperty dissatisfactions</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Metametaproperty_dissatisfactions"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Metametaproperty_dissatisfactions"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AProperty-2Dtheoretic_categories"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AProperty_operator_computations">
		<rdfs:label>Property operator computations</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Property_operator_computations"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Property_operator_computations"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AProperty-2Dtheoretic_categories"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
		<rdfs:subClassOf rdf:resource="&wiki;Category-3AFacts"/>
	</owl:Class>
	<!-- auxiliary definitions -->
	<owl:Class rdf:about="&wiki;Category-3AProperty-2Dtheoretic_categories">
		<rdfs:label>Property-theoretic categories</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Property-theoretic_categories"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Property-theoretic_categories"/>
	</owl:Class>
	<!-- References to the SWiVT Ontology, see http://semantic-mediawiki.org/swivt/ -->
	<owl:AnnotationProperty rdf:about="&swivt;page">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:AnnotationProperty rdf:about="&swivt;creationDate">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:Class rdf:about="&swivt;Subject">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Class>
	<!-- Created by Semantic MediaWiki, http://semantic-mediawiki.org -->
</rdf:RDF>