<?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-19T02:23:52-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;ACIC-2Dgroup">
		<rdfs:label>ACIC-group</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;ACIC-group"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/ACIC-group"/>
		<rdf:type rdf:resource="&wiki;Category-3ATerminology_local_to_the_wiki"/>
		<rdf:type rdf:resource="&wiki;Category-3ANonstandard_terminology"/>
		<rdf:type rdf:resource="&wiki;Category-3AGroup_properties"/>
		<rdf:type rdf:resource="&wiki;Category-3AGroup_properties_obtained_via_the_subgroup_property_collapse_operator"/>
		<rdf:type rdf:resource="&wiki;Category-3ACharacteristic_quotient-2Dclosed_group_properties"/>
		<rdf:type rdf:resource="&wiki;Category-3AGAP-2Dcodable_group_properties"/>
		<property:Defining_ingredient rdf:resource="&wiki;Automorph-2Dconjugate_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Characteristic_subgroup"/>
		<property:Page_class rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Term</property:Page_class>
		<property:Satisfies_metaproperty rdf:resource="&wiki;Characteristic_subgroup-2Dclosed_group_property"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Nilpotent_not_implies_ACIC">
		<rdfs:label>Nilpotent not implies ACIC</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Nilpotent_not_implies_ACIC"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Nilpotent_not_implies_ACIC"/>
		<property:Fact_about rdf:resource="&wiki;ACIC-2Dgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Quaternion_group">
		<rdfs:label>Quaternion group</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Quaternion_group"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Quaternion_group"/>
		<property:Satisfies_property rdf:resource="&wiki;ACIC-2Dgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Direct_product_of_D8_and_Z2">
		<rdfs:label>Direct product of D8 and Z2</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Direct_product_of_D8_and_Z2"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Direct_product_of_D8_and_Z2"/>
		<property:Satisfies_property rdf:resource="&wiki;ACIC-2Dgroup"/>
	</swivt:Subject>
	<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"/>
		<property:Satisfies_property rdf:resource="&wiki;ACIC-2Dgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Dihedral_group-3AD16">
		<rdfs:label>Dihedral group:D16</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Dihedral_group:D16"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Dihedral_group:D16"/>
		<property:Satisfies_property rdf:resource="&wiki;ACIC-2Dgroup"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Hereditarily_ACIC-2Dgroup">
		<rdfs:label>Hereditarily ACIC-group</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Hereditarily_ACIC-group"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Hereditarily_ACIC-group"/>
		<property:Defining_ingredient rdf:resource="&wiki;ACIC-2Dgroup"/>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:ObjectProperty rdf:about="&property;Satisfies_property">
		<rdfs:label>Satisfies property</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Satisfies_property"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Satisfies_property"/>
	</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>
	<swivt:Subject rdf:about="&wiki;Characteristic_subgroup-2Dclosed_group_property">
		<rdfs:label>Characteristic subgroup-closed group property</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Characteristic_subgroup-closed_group_property"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Characteristic_subgroup-closed_group_property"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Satisfies_metaproperty">
		<rdfs:label>Satisfies metaproperty</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Satisfies_metaproperty"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Satisfies_metaproperty"/>
	</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;Characteristic_subgroup">
		<rdfs:label>Characteristic subgroup</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Characteristic_subgroup"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Characteristic_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"/>
	</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>
	<owl:Class rdf:about="&wiki;Category-3AGAP-2Dcodable_group_properties">
		<rdfs:label>GAP-codable group properties</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:GAP-codable_group_properties"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:GAP-codable_group_properties"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3ACharacteristic_quotient-2Dclosed_group_properties">
		<rdfs:label>Characteristic quotient-closed group properties</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Characteristic_quotient-closed_group_properties"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Characteristic_quotient-closed_group_properties"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AGroup_properties_obtained_via_the_subgroup_property_collapse_operator">
		<rdfs:label>Group properties obtained via the subgroup property collapse operator</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Group_properties_obtained_via_the_subgroup_property_collapse_operator"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Group_properties_obtained_via_the_subgroup_property_collapse_operator"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AGroup_properties">
		<rdfs:label>Group properties</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Group_properties"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Group_properties"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3ANonstandard_terminology">
		<rdfs:label>Nonstandard terminology</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Nonstandard_terminology"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Nonstandard_terminology"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3ATerminology_local_to_the_wiki">
		<rdfs:label>Terminology local to the wiki</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Terminology_local_to_the_wiki"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Terminology_local_to_the_wiki"/>
	</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>