<?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="">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2010-03-16T00:44:29-07:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<swivt:Subject rdf:about="&wiki;Normalizer_of_a_subgroup">
		<rdfs:label>Normalizer of a subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normalizer_of_a_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normalizer_of_a_subgroup"/>
		<rdf:type rdf:resource="&wiki;Category-3ASubgroup_operators"/>
		<property:Defined_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3AAlperinBell"/>
			</swivt:Container>
		</property:Defined_in>
		<property:Defined_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3ADummitFoote"/>
			</swivt:Container>
		</property:Defined_in>
		<property:Defined_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3AHerstein"/>
			</swivt:Container>
		</property:Defined_in>
		<property:Defined_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3ALang"/>
			</swivt:Container>
		</property:Defined_in>
		<property:Defined_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3AArtin"/>
			</swivt:Container>
		</property:Defined_in>
		<property:Defined_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3ARobinsonGT"/>
			</swivt:Container>
		</property:Defined_in>
		<property:Defined_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3ARobinsonAA"/>
			</swivt:Container>
		</property:Defined_in>
		<property:Defined_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3AHungerford"/>
			</swivt:Container>
		</property:Defined_in>
		<property:Defined_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3AFraleigh"/>
			</swivt:Container>
		</property:Defined_in>
		<property:Defining_ingredient rdf:resource="&wiki;Normal_subgroup"/>
		<property:Operator_related_to rdf:resource="&wiki;Normal_subgroup"/>
		<property:Page_class rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Term</property:Page_class>
		<property:Referenced_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3AAlperinBell"/>
			</swivt:Container>
		</property:Referenced_in>
		<property:Referenced_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3ADummitFoote"/>
			</swivt:Container>
		</property:Referenced_in>
		<property:Referenced_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3AHerstein"/>
			</swivt:Container>
		</property:Referenced_in>
		<property:Referenced_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3ALang"/>
			</swivt:Container>
		</property:Referenced_in>
		<property:Referenced_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3AArtin"/>
			</swivt:Container>
		</property:Referenced_in>
		<property:Referenced_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3ARobinsonGT"/>
			</swivt:Container>
		</property:Referenced_in>
		<property:Referenced_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3ARobinsonAA"/>
			</swivt:Container>
		</property:Referenced_in>
		<property:Referenced_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3AHungerford"/>
			</swivt:Container>
		</property:Referenced_in>
		<property:Referenced_in>
			<swivt:Container>
				<swivt:object1 rdf:resource="&wiki;Book-3AFraleigh"/>
			</swivt:Container>
		</property:Referenced_in>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Idealizer_of_a_Lie_subring">
		<rdfs:label>Idealizer of a Lie subring</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Idealizer_of_a_Lie_subring"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Idealizer_of_a_Lie_subring"/>
		<property:Analogue_of rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Normalizer_of_pronormal_implies_abnormal">
		<rdfs:label>Normalizer of pronormal implies abnormal</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normalizer_of_pronormal_implies_abnormal"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normalizer_of_pronormal_implies_abnormal"/>
		<property:Fact_about rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Normalizer_of_weakly_pronormal_implies_weakly_abnormal">
		<rdfs:label>Normalizer of weakly pronormal implies weakly abnormal</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normalizer_of_weakly_pronormal_implies_weakly_abnormal"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normalizer_of_weakly_pronormal_implies_weakly_abnormal"/>
		<property:Fact_about rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Normalizer_of_isomorph-2Dconjugate_implies_isomorph-2Ddominating">
		<rdfs:label>Normalizer of isomorph-conjugate implies isomorph-dominating</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normalizer_of_isomorph-conjugate_implies_isomorph-dominating"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normalizer_of_isomorph-conjugate_implies_isomorph-dominating"/>
		<property:Fact_about rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Coprime_automorphism-2Dinvariant_normal_subgroup_of_Hall_subgroup_is_normalizer-2Drelatively_normal">
		<rdfs:label>Coprime automorphism-invariant normal subgroup of Hall subgroup is normalizer-relatively normal</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Coprime_automorphism-invariant_normal_subgroup_of_Hall_subgroup_is_normalizer-relatively_normal"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Coprime_automorphism-invariant_normal_subgroup_of_Hall_subgroup_is_normalizer-relatively_normal"/>
		<property:Fact_about rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Procharacteristicity_is_normalizer-2Dclosed">
		<rdfs:label>Procharacteristicity is normalizer-closed</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Procharacteristicity_is_normalizer-closed"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Procharacteristicity_is_normalizer-closed"/>
		<property:Fact_about rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Baer_norm_is_hereditarily_permutable">
		<rdfs:label>Baer norm is hereditarily permutable</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Baer_norm_is_hereditarily_permutable"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Baer_norm_is_hereditarily_permutable"/>
		<property:Fact_about rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Normal_subgroup_of_characteristic_subgroup">
		<rdfs:label>Normal subgroup of characteristic subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normal_subgroup_of_characteristic_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normal_subgroup_of_characteristic_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Subgroup_with_self-2Dnormalizing_normalizer">
		<rdfs:label>Subgroup with self-normalizing normalizer</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Subgroup_with_self-normalizing_normalizer"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Subgroup_with_self-normalizing_normalizer"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Automorph-2Dconjugate_subgroup">
		<rdfs:label>Automorph-conjugate subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Automorph-conjugate_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Automorph-conjugate_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Intermediately_subnormal-2Dto-2Dnormal_subgroup">
		<rdfs:label>Intermediately subnormal-to-normal subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Intermediately_subnormal-to-normal_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Intermediately_subnormal-to-normal_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Weakly_normal_subgroup">
		<rdfs:label>Weakly normal subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Weakly_normal_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Weakly_normal_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Intermediately_normal-2Dto-2Dcharacteristic_subgroup">
		<rdfs:label>Intermediately normal-to-characteristic subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Intermediately_normal-to-characteristic_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Intermediately_normal-to-characteristic_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;SCDIN-2Dsubgroup">
		<rdfs:label>SCDIN-subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SCDIN-subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SCDIN-subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;WNSCDIN-2Dsubgroup">
		<rdfs:label>WNSCDIN-subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;WNSCDIN-subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/WNSCDIN-subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Normalizer-2Drelatively_normal_subgroup">
		<rdfs:label>Normalizer-relatively normal subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normalizer-relatively_normal_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normalizer-relatively_normal_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Weakly_characteristic_subgroup">
		<rdfs:label>Weakly characteristic subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Weakly_characteristic_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Weakly_characteristic_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;MWNSCDIN-2Dsubgroup">
		<rdfs:label>MWNSCDIN-subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;MWNSCDIN-subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/MWNSCDIN-subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Intermediately_normal-2Dto-2Dcomplemented_subgroup">
		<rdfs:label>Intermediately normal-to-complemented subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Intermediately_normal-to-complemented_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Intermediately_normal-to-complemented_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;CDIN-2Dsubgroup">
		<rdfs:label>CDIN-subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;CDIN-subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/CDIN-subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Subgroup_whose_normalizer_equals_its_normal_closure">
		<rdfs:label>Subgroup whose normalizer equals its normal closure</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Subgroup_whose_normalizer_equals_its_normal_closure"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Subgroup_whose_normalizer_equals_its_normal_closure"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Normal_core_of_normalizer">
		<rdfs:label>Normal core of normalizer</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normal_core_of_normalizer"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normal_core_of_normalizer"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;2-2Dsubnormal_subgroup">
		<rdfs:label>2-subnormal subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;2-subnormal_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/2-subnormal_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Approximate_normalizer">
		<rdfs:label>Approximate normalizer</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Approximate_normalizer"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Approximate_normalizer"/>
		<property:Variation_of rdf:resource="&wiki;Normalizer_of_a_subgroup"/>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:ObjectProperty rdf:about="&property;Variation_of">
		<rdfs:label>Variation of</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Variation_of"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Variation_of"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Fact_about">
		<rdfs:label>Fact about</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Fact_about"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Fact_about"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Analogue_of">
		<rdfs:label>Analogue of</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Analogue_of"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Analogue_of"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Referenced_in">
		<rdfs:label>Referenced in</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Referenced_in"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Referenced_in"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Page_class">
		<rdfs:label>Page class</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Page_class"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Page_class"/>
	</owl:DatatypeProperty>
	<owl:ObjectProperty rdf:about="&property;Operator_related_to">
		<rdfs:label>Operator related to</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Operator_related_to"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Operator_related_to"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Normal_subgroup">
		<rdfs:label>Normal subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normal_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normal_subgroup"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Defining_ingredient">
		<rdfs:label>Defining ingredient</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Defining_ingredient"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Defining_ingredient"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Book-3AFraleigh">
		<rdfs:label>Book:Fraleigh</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Book:Fraleigh"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Book:Fraleigh"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Book-3AHungerford">
		<rdfs:label>Book:Hungerford</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Book:Hungerford"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Book:Hungerford"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Book-3ARobinsonAA">
		<rdfs:label>Book:RobinsonAA</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Book:RobinsonAA"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Book:RobinsonAA"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Book-3ARobinsonGT">
		<rdfs:label>Book:RobinsonGT</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Book:RobinsonGT"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Book:RobinsonGT"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Book-3AArtin">
		<rdfs:label>Book:Artin</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Book:Artin"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Book:Artin"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Book-3ALang">
		<rdfs:label>Book:Lang</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Book:Lang"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Book:Lang"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Book-3AHerstein">
		<rdfs:label>Book:Herstein</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Book:Herstein"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Book:Herstein"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Book-3ADummitFoote">
		<rdfs:label>Book:DummitFoote</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Book:DummitFoote"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Book:DummitFoote"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Book-3AAlperinBell">
		<rdfs:label>Book:AlperinBell</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Book:AlperinBell"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Book:AlperinBell"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Defined_in">
		<rdfs:label>Defined in</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Defined_in"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Defined_in"/>
	</owl:ObjectProperty>
	<owl:Class rdf:about="&wiki;Category-3ASubgroup_operators">
		<rdfs:label>Subgroup operators</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Subgroup_operators"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Subgroup_operators"/>
	</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>