<?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-12T09:11:03-08:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<swivt:Subject rdf:about="&wiki;Normal_not_implies_normal-2Dpotentially_characteristic">
		<rdfs:label>Normal not implies normal-potentially characteristic</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normal_not_implies_normal-potentially_characteristic"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normal_not_implies_normal-potentially_characteristic"/>
		<rdf:type rdf:resource="&wiki;Category-3ASubgroup_property_non-2Dimplications"/>
		<property:Fact_about rdf:resource="&wiki;Normal_subgroup"/>
		<property:Fact_about rdf:resource="&wiki;Normal-2Dpotentially_characteristic_subgroup"/>
		<property:Page_class rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Fact</property:Page_class>
		<property:Particular_example rdf:resource="&wiki;Dihedral_group-3AD8"/>
		<property:Stronger_than rdf:resource="&wiki;Normal_not_implies_normal-2Dpotentially_characteristic"/>
		<property:Uses rdf:resource="&wiki;Normal-2Dextensible_not_implies_normal"/>
		<property:Uses rdf:resource="&wiki;Normal-2Dpotentially_characteristic_implies_normal-2Dextensible_automorphism-2Dinvariant"/>
		<property:Weaker_than rdf:resource="&wiki;Normal_not_implies_normal-2Dpotentially_relatively_characteristic"/>
		<property:Weaker_than rdf:resource="&wiki;Potentially_characteristic_not_implies_normal-2Dpotentially_characteristic"/>
		<property:Weaker_than rdf:resource="&wiki;Potentially_characteristic_not_implies_semi-2Dstrongly_potentially_relatively_characteristic"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Normal_not_implies_strongly_potentially_characteristic">
		<rdfs:label>Normal not implies strongly potentially characteristic</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normal_not_implies_strongly_potentially_characteristic"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normal_not_implies_strongly_potentially_characteristic"/>
		<property:Uses rdf:resource="&wiki;Normal_not_implies_normal-2Dpotentially_characteristic"/>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<swivt:Subject rdf:about="&wiki;Potentially_characteristic_not_implies_semi-2Dstrongly_potentially_relatively_characteristic">
		<rdfs:label>Potentially characteristic not implies semi-strongly potentially relatively characteristic</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Potentially_characteristic_not_implies_semi-strongly_potentially_relatively_characteristic"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Potentially_characteristic_not_implies_semi-strongly_potentially_relatively_characteristic"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Potentially_characteristic_not_implies_normal-2Dpotentially_characteristic">
		<rdfs:label>Potentially characteristic not implies normal-potentially characteristic</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Potentially_characteristic_not_implies_normal-potentially_characteristic"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Potentially_characteristic_not_implies_normal-potentially_characteristic"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Normal_not_implies_normal-2Dpotentially_relatively_characteristic">
		<rdfs:label>Normal not implies normal-potentially relatively characteristic</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normal_not_implies_normal-potentially_relatively_characteristic"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normal_not_implies_normal-potentially_relatively_characteristic"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Weaker_than">
		<rdfs:label>Weaker than</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Weaker_than"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Weaker_than"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Normal-2Dpotentially_characteristic_implies_normal-2Dextensible_automorphism-2Dinvariant">
		<rdfs:label>Normal-potentially characteristic implies normal-extensible automorphism-invariant</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normal-potentially_characteristic_implies_normal-extensible_automorphism-invariant"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normal-potentially_characteristic_implies_normal-extensible_automorphism-invariant"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Normal-2Dextensible_not_implies_normal">
		<rdfs:label>Normal-extensible not implies normal</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normal-extensible_not_implies_normal"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normal-extensible_not_implies_normal"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Uses">
		<rdfs:label>Uses</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Uses"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Uses"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Stronger_than">
		<rdfs:label>Stronger than</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Stronger_than"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Stronger_than"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Dihedral_group-3AD8">
		<rdfs:label>Dihedral group:D8</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Dihedral_group:D8"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Dihedral_group:D8"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Particular_example">
		<rdfs:label>Particular example</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Particular_example"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Particular_example"/>
	</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>
	<swivt:Subject rdf:about="&wiki;Normal-2Dpotentially_characteristic_subgroup">
		<rdfs:label>Normal-potentially characteristic subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Normal-potentially_characteristic_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Normal-potentially_characteristic_subgroup"/>
	</swivt:Subject>
	<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;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:Class rdf:about="&wiki;Category-3ASubgroup_property_non-2Dimplications">
		<rdfs:label>Subgroup property non-implications</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Subgroup_property_non-implications"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Subgroup_property_non-implications"/>
	</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>